Optimal Hardy inequalities for general elliptic operators with improvements
Craig Cowan
We establish Hardy inequalities of the form

$ \int_\Omega | \nabla u|_A^2 dx \ge \frac{1}{4} \int_\Omega \frac{| \nabla E|_A^2}{E^2}u^2dx, \qquad u \in H_0^1(\Omega) \qquad\qquad (1)$

where $ E$ is a positive function defined in $ \Omega$, -div$(A \nabla E)$ is a nonnegative nonzero finite measure in $ \Omega$ which we denote by $ \mu$ and where $ A(x)$ is a $ n \times n$ symmetric, uniformly positive definite matrix defined in $ \Omega$ with $ | \xi |_A^2:= A(x) \xi \cdot \xi$ for $ \xi \in \mathbb{R}^n$. We show that (1) is optimal if $ E=0$ on $ \partial \Omega$ or $ E=\infty$ on the support of $ \mu$ and is not attained in either case. When $ E=0$ on $\partial \Omega$ we show

$ \int_\Omega | \nabla u|_A^2dx \ge \frac{1}{4} \int_\Omega \frac{| \nabla E|_A^2}{E^2}u^2dx + \frac{1}{2} \int_\Omega \frac{u^2}{E} d \mu, \qquad u \in H_0^1(\Omega)\qquad (2) $

is optimal and not attained. Optimal weighted versions of these inequalities are also established. Optimal analogous versions of (1) and (2) are established for $p$≠ 2 which, in the case that $ \mu$ is a Dirac mass, answers a best constant question posed by Adimurthi and Sekar (see [1]).
We examine improved versions of the above inequalities of the form

$\int_\Omega | \nabla u|_A^2dx \ge \frac{1}{4} \int_\Omega \frac{| \nabla E|_A^2}{E^2} u^2dx + \int_\Omega V(x) u^2dx, \qquad u \in H_0^1(\Omega).\qquad (3)$

Necessary and sufficient conditions on $V$ are obtained (in terms of the solvability of a linear pde) for (3) to hold. Analogous results involving improvements are obtained for the weighted versions.
In addition we obtain various results concerning the above inequalities valid for functions $ u$ which are nonzero on the boundary of $ \Omega$. We also examine the nonquadradic case ,ie. $p$ ≠2 of the above inequalities.

keywords: Hardy inequalities general elliptic operators.
Regularity of extremal solutions in fourth order nonlinear eigenvalue problems on general domains
Craig Cowan Pierpaolo Esposito Nassif Ghoussoub
We examine the regularity of the extremal solution of the nonlinear eigenvalue problem $\Delta^2 u = \lambda f(u)$ on a general bounded domain $\Omega$ in $ \R^N$, with the Navier boundary condition $ u=\Delta u =0 $ on δΩ. We establish energy estimates which show that for any non-decreasing convex and superlinear nonlinearity $f$ with $f(0)=1$, the extremal solution u * is smooth provided $N\leq 5$. If in addition $\lim$i$nf_{t \to +\infty}\frac{f (t)f'' (t)}{(f')^2(t)}>0$, then u * is regular for $N\leq 7$, while if $\gamma$:$= \lim$s$up_{t \to +\infty}\frac{f (t)f'' (t)}{(f')^2(t)}<+\infty$, then the same holds for $N < \frac{8}{\gamma}$. It follows that u * is smooth if $f(t) = e^t$ and $ N \le 8$, or if $f(t) = (1+t)^p$ and $N< \frac{8p}{p-1}$. We also show that if $ f(t) = (1-t)^{-p}$, $p>1$ and $p\ne 3$, then u * is smooth for $N \leq \frac{8p}{p+1}$. While these results are major improvements on what is known for general domains, they still fall short of the expected optimal results as recently established on radial domains, e.g., u * is smooth for $ N \le 12$ when $ f(t) = e^t$ [11], and for $ N \le 8$ when $ f(t) = (1-t)^{-2}$ [9] (see also [22]).
keywords: Stable solution Superlinear and Singular nonlinearities. Extremal solution
Uniqueness of solutions for elliptic systems and fourth order equations involving a parameter
Craig Cowan
We examine the equation $$ \Delta^2 u = \lambda f(u) \qquad \Omega, $$ with either Navier or Dirichlet boundary conditions. We show some uniqueness results under certain constraints on the parameter $ \lambda$. We obtain similar results for the sytem \begin{eqnarray} &-\Delta u = \lambda f(v) \qquad \Omega, \\ &-\Delta v = \gamma g(u) \qquad \Omega, \\ &u= v = 0 \qquad \partial \Omega. \end{eqnarray}
keywords: uniqueness. biharmonic Minimal solution

Year of publication

Related Authors

Related Keywords

[Back to Top]