14 votos

Soluciones integrables a un PDE elíptica en forma de divergencia tienen un signo definitivo

Deje $f\colon\mathbb{R}^n\to\mathbb{R}^n$ ser suave, limitado campo de vectores. Además, vamos a $u\colon\mathbb{R}^n\to\mathbb{R}$ satisfacer $$-\Delta u=\operatorname{div}(fu).$$ Si $u\in L^1(\mathbb{R}^n)$, $u$ tiene un signo, es decir, $u>0$ en todas partes, o $u<0$ en todas partes, o $u=0$ en todas partes.

Tengo una prueba directa de este para $n=1$. Para $n>1$, tengo una prueba de uso de la teoría de ecuaciones parabólicas (ver más abajo). Mi pregunta: ¿existe una prueba directa utilizando sólo la teoría de ecuaciones en derivadas parciales elípticas?

(Editado para asumir la $f$ delimitada y solucionar el caso de $n=1$ a continuación).

Para $n=1$, mi prueba es como sigue. La ecuación es $-u''=(fu)'$, el cual se integra a $u'+fu=A$ para algunas constantes $A$. Si $u$ cambia de signo, entonces podremos, sin pérdida de generalidad tome $u(0)=0$. Así $$u(x)=A\int_0^x e^{F(t)-F(x)}\,dt$$ where $F'=f$. If $|f|\le c$ then $F(t)-F(x)\ge c(t-x)$ for $t<x$, so $u(x)\ge Ca^{-1}(1-e^{-cx})$ when $x>0$, and hence $u\noen L^1$ (unless $A=0$).

Para $n>1$, mi única prueba de que está mucho más involucrado. He aquí una breve reseña. Asumir la conclusión de que está mal, así que podemos escribir $u=u_+-u_-$ $u_\pm\ge0$ todas partes y ni idéntica a cero, y $u_+u_-=0$ en todas partes.

Ahora vamos a $v_\pm$ resolver $$\frac{\partial v_\pm}{\partial t}=\Delta v_\pm+\operatorname{div}(fv_\pm)$$ for $t>0$, with initial conditions $v_\pm(0,x)=u_\pm(x)$. By uniqueness for this equation (with suitable growth conditions at infinity), $v_+(t,x)-v_-(t,x)=u(x)$ for $t>0$ and $x\in\mathbb{R}^n$. Also, for $t>0$ we find $v_\pm>0$ everywhere, and also $$\int_{\mathbb{R}^n} v_\pm(t,x)\,dx=\int_{\mathbb{R}^n} u_\pm(x)\,dx$$ since the equation is on divergence form. We conclude $$\int_{\mathbb{R}^n}|u(x)|\,dx=\int_{\mathbb{R}^n}(u_+(x)+u_-(x))\,dx=\int_{\mathbb{R}^n}(v_+(t,x)+v_-(t,x))\,dx>\int_{\mathbb{R}^n}|v_+(t,x)-v_-(t,x)|\,dx,$$ lo cual es una contradicción.

2voto

Douglas Anderson Puntos 2238

Me encanta este problema y hemos pasado la mitad de la noche pensando en ello.

Aquí es un boceto de una idea que podría funcionar. Lo que es riguroso podría ser un poco de una tarea debido a las ilimitado de $\mathbb{R}^n$, etc, pero mi conjetura es que es factible.

Deje $L$ denotar la elíptica operador \[ Lu : = -\Delta u - \mathrm{div}( f u ). \]

Supongamos que el operador $L$ tiene un director autovalor $\lambda_1$, que es el número más pequeño $\lambda$ para los que existe un valor distinto de cero solución de la ecuación de $Lu = \lambda u$$\mathbb{R}^n$. A continuación, $\lambda_1$ debe ser simple (!) y tiene director eigenfunction que no cambia de signo. Deje $\varphi \in L^1(\mathbb{R}^n)$ denotar el principal eigenfunction, que nos normalizar a ser positivo.

Supongamos por ahora que $\varphi$ y sus derivados tienden a cero en el infinito, y $f$ y sus derivados estancia limitada. A continuación, podemos integrar la ecuación de $L\varphi = \lambda_1\varphi$ conseguir $\lambda_1 \int_{\mathbb{R}^n} \varphi dx = 0$. Bueno, eso significa que $\lambda_1 = 0$.

Recordando la simplicidad de $\lambda_1=0$, vemos que la ecuación de $Lu = 0$ no sólo tiene una solución positiva, su conjunto de soluciones es, precisamente,$\{ c \varphi : c\in \mathbb{R} \}$. Esto implica el resultado.

Ahora, usted puede haber notado ya que en realidad no hay tales principal autovalores en general, por ejemplo cuando se $f=0$. Pero creo que es posible que la idea de que se pueden hacer en una rigurosa prueba.

Si nos fijamos en un gran dominio, dicen que el balón $B(0,R)$ $R> 0$ muy grande, es una de las principales autovalor $\lambda_{1,R}$ $L$ $B(0,R)$ y va a ser cercana a cero. Esto puede ser demostrado por considerar el adjunto del operador $L^*$, que tiene el mismo director autovalor $\lambda_{1,R}$, y es fácil demostrar que $0 < \lambda_{1,R} \leq CR^{-2}$, debido a acotamiento de $f$. Aquí es donde usamos la forma especial de la ecuación.

Si tenemos una solución a $Lu = 0$ sobre la totalidad del espacio de $\mathbb{R}^n$,$u(0)>0$, creo que debe ser posible demostrar que si elegimos la normalización $\varphi_{1,R}(0) = u(0)$, $\varphi_{1,R}$ converge a $u$ (al menos localmente uniformemente) como $R\to \infty$. En particular, $u$ debe ser positivo en todas partes.

Obviamente, hay algunos detalles que se dejan de trabajar. Es muy posible que me estoy haciendo un tonto error y no funciona en absoluto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X