Desigualdad de Harnack

En matemáticas, la desigualdad de Harnack es una desigualdad relacionando los valores de una función armónica positiva a dos puntos, introdujo por [[Carl Gustav Axel Harnack|A.Plantilla:EsdHarnack]] (1887). [[James Serrin|J.Plantilla:EsdSerrin]] (1955) y [[Jürgen Moser|J.Plantilla:EsdMoser]] (1961, 1964) generalizó Harnack desigualdad en soluciones de elíptica o ecuaciones diferenciales parciales parabólicas. La solución de Perelman de la conjetura de Poincaré utiliza una versión de la desigualdad de Harnack, que se encuentra por R. Hamilton (1993), por el flujo de Ricci. La desigualdad de Harnack se utiliza para demostrar el principio de Harnack sobre la convergencia de sucesiones de funciones armónicas. La desigualdad de Harnack también se puede utilizar para mostrar la regularidad interior de soluciones débiles de ecuaciones diferenciales parciales.

Declaración

La desigualdad de Harnack aplica a una función no-negativa f definida en una bola cerrada en R n con radios R y centro x 0 . Declara que, si f es continuo en el balón cerrada y armónica en su interior, entonces para cualquier punto x con | x - x 0 | = R < R

$\frac{1-(r/R)}{[1+(r/R){]}^{n-1}}f(x_0)\le f(x)\le \frac{1+(r/R)}{[1-(r/R){]}^{n-1}}f(x_0).$

En el plano ${ℝ}^n$ (n= 2) la desigualdad puede ser escrita:

$\frac{R-r}{R+r}f(x_0)\le f(x)\le \frac{R+r}{R-r}f(x_0).$

Para dominios generales $\mathrm{\Omega }$ en ${𝐑}^n$ la desigualidad puede ser declarada así: si $\omega$ es un dominio delimitado y $\overline{\omega }\subset \mathrm{\Omega }$, entonces existe un constante $C$ tal que

$\underset{x\in \omega }{\sup }u(x)\le C\underset{x\in \omega }{\inf }u(x)$

para cada función dos veces diferenciable, armónica y no-negativa $u(x)$. La constante $C$ es independiente de $u$; sólo depende de los dominios $\mathrm{\Omega }$ y $\omega$.

Prueba de la desigualdad de Harnack en una bola

Por fórmula de Poisson:

$f(x)=\frac{1}{{\omega }_{n-1}}\underset{|y-x_0|=R}{\int }\frac{R^2-r^2}{R|x-y{|}^n}\cdot f(y)dy,$

donde ${\omega }_{n-1}$ es el área de la esfera unitaria en ${ℝ}^n$ y r = |x - x₀|.

dado que

$R-r\le |x-y|\le R+r,$

el núcleo en el integrando satisface

$\frac{R-r}{R(R+r{)}^{n-1}}\le \frac{R^2-r^2}{R|x-y{|}^n}\le \frac{R+r}{R(R-r{)}^{n-1}}.$

La desigualdad de Harnack sigue para sustituir esta desigualdad en la integral anterior y usando el hecho de que la media de una función armónica sobre una esfera es igual a su valor en el centro de la esfera:

$f(x_0)=\frac{1}{R^{n-1}{\omega }_{n-1}}\underset{|y-x_0|=R}{\int }f(y)dy.$

Ecuaciones diferenciales parciales elípticas

Las ecuaciones diferenciales parciales elípticas, la desigualdad de Harnack afirma que el supremo de una solución positiva en alguna región abierta conectada está limitada por algunos tiempos constantes el ínfimo, posiblemente con un término agregado que contiene una norma funcional de los datos:

$\sup u\le C(\inf u+||f||)$

La constante depende del elipticidad de la ecuación y la región abierta conectada.

Ecuaciones diferenciales parciales parabólicas

Hay una versión de la desigualdad de Harnack por parabólicos lineales de PDE como la ecuación del calor.

sea $ℳ$ un dominio sin problemas en ${ℝ}^n$ y considerar el operador parabólico lineal

$ℒu=\sum _{i,j=1}^n{a}_{ij}(t,x)\frac{{\partial }^{2}u}{\partial x_i\partial x_j}+\sum _{i=1}^n{b}_i(t,x)\frac{\partial u}{\partial x_i}+c(t,x)u$

con coeficientes lisos y acotados y una matriz no degenerada $(a_{ij})$. Supongamos que $u(t,x)\in C^2((0,T)\times ℳ)$ es una solución de

$\frac{\partial u}{\partial t}-ℒu\ge 0$ en $(0,T)\times ℳ$

de tal manera que

$u(t,x)\ge 0$ en $(0,T)\times ℳ.$

sea $K$ un subconjunto compacto de $ℳ$ y seleccione $\tau \in (0,T)$. Entonces existe una constante $C>0$ (Dependiendo sólo de $K$, $\tau$ y los coeficientes de $ℒ$) De tal manera que, para cada $t\in (\tau ,T)$,

$\underset{K}{\sup }u(t-\tau ,\cdot )\le C\underset{K}{\inf }u(t,\cdot ).$

Bibliografía

• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Springer
• Plantilla:Springer
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation
• L. C. Evans (1998), Partial differential equations. American Mathematical Society, USA. For elliptic PDEs see Theorem 5, p.Plantilla:Esd334 and for parabolic PDEs see Theorem 10, p.Plantilla:Esd370.