[Paper Review] On nonhomogeneous elliptic equations with the Hardy-Leray potentials

Huyuan Chen, Alexander Quaas+1 more|arXiv (Cornell University)|May 23, 2017

Nonlinear Partial Differential Equations34 references20 citations

TL;DR

This paper establishes improved distributional identities for solutions to nonhomogeneous elliptic equations with Hardy-Leray potentials, enabling precise characterization of isolated singularities via Dirac mass. It proves the nonexistence of nonnegative solutions for certain nonhomogeneous problems and establishes the nonexistence of a principal eigenvalue when the potential satisfies a Hardy-type lower bound.

ABSTRACT

In this paper, we present some suitable distributional identities of the solutions for nonhomogeneous elliptic equations involving the Hardy-Leray potentials and study qualitative properties of the solutions to the corresponding nonhomogeneous problems by the distributional identities. We address some applications on the nonexistence of some nonhomogeneous problems with the Hardy-Leray potentials and the nonexistence principle eigenvalue with some indefinite potentials.

Motivation & Objective

• To develop improved distributional identities for solutions of nonhomogeneous elliptic equations involving Hardy-Leray potentials, overcoming limitations of standard test function spaces.
• To characterize isolated singularities using Dirac mass representations, particularly distinguishing fundamental solutions of the Hardy operator.
• To establish nonexistence results for nonnegative solutions of nonhomogeneous problems with Hardy-Leray potentials.
• To investigate the nonexistence of a principal eigenvalue for Schrödinger-type equations with indefinite potentials satisfying a Hardy-type lower bound.
• To extend the applicability of distributional methods in singular elliptic problems, especially when classical or variational methods fail due to strong singularities.

Proposed method

• Introduces a modified distributional identity using test functions in $ C^∞_c(\Omega \setminus \{0\}) $, enabling analysis of singular solutions.
• Analyzes fundamental solutions $ \Phi_\mu $ and $ \Gamma_\mu $ of the Hardy operator $ \mathcal{L}_\mu = -\Delta + \mu |x|^{-2} $, deriving explicit formulas for $ \tau_{\pm}(\mu) $.
• Defines the formal adjoint operator $ \mathcal{L}^*_\mu = -\Delta - \frac{2\tau_+(\mu)}{|x|^2} x \cdot \nabla $ to derive duality identities.
• Applies the method of sub- and supersolutions to construct solutions in bounded domains with singular potentials.
• Uses the representation of Green's function $ G_\mu $ and its behavior near the origin to derive comparison estimates.
• Employs contradiction arguments based on integrability properties of $ G_\mu $ in $ H^1_0 $ spaces to prove nonexistence theorems.

Experimental results

Research questions

• RQ1 Can distributional identities be improved to capture isolated singularities of solutions to elliptic equations with Hardy-Leray potentials?
• RQ2 Under what conditions do nonhomogeneous elliptic problems with Hardy-Leray potentials fail to admit nonnegative solutions?
• RQ3 Does a principal eigenvalue exist for Schrödinger operators with potentials bounded below by $ a_0 |x|^{-2} $ in bounded domains?
• RQ4 How do the fundamental solutions $ \Phi_\mu $ and $ \Gamma_\mu $ behave in the distributional sense, and can they be distinguished via duality?
• RQ5 What role does the critical Hardy constant $ \mu_0 = -(N-2)^2/4 $ play in the nonexistence of solutions and eigenvalues?

Key findings

• The paper establishes a new distributional identity involving the adjoint operator $ \mathcal{L}^*_\mu $, which allows precise tracking of singularities via Dirac mass.
• It proves that the problem $ \mathcal{L}_\mu u = g $ has no nonnegative solution if $ \mu > \mu_0 $ and $ g $ satisfies certain growth conditions near the origin.
• For $ N \geq 3 $, the nonhomogeneous problem $ \mathcal{L}_\mu u = g $ has no nontrivial nonnegative solution when $ \mu > \mu_0 $, under suitable assumptions on $ g $.
• In the case $ N = 2 $, the same nonexistence result holds via logarithmic estimates and comparison with Green's function.
• The principal eigenvalue problem $ -\Delta u = \lambda V u $ in $ H^1_0(\Omega) $ has no solution if $ V(x) \geq a_0 |x|^{-2} $ for some $ a_0 > 0 $, even when $ \lambda a_0 > -\mu_0 $.
• The Green's function $ G_\mu $ associated with $ \mathcal{L}_\mu $ is not in $ H^1_0(\Omega) $ when $ \mu > \mu_0 $, which is key to the nonexistence proof.