pith. sign in

arxiv: 2511.12741 · v3 · submitted 2025-11-16 · 🧮 math.AP

Pointwise bounds on Dirichlet Green's functions for a singular drift term

Aritro Pathak This is my paper

Pith reviewed 2026-05-17 21:44 UTC · model grok-4.3

classification 🧮 math.AP
keywords Green's functionDirichlet problemsingular driftpointwise estimateselliptic operatorunit ballnon-coerciveboundary behavior
0
0 comments X

The pith

A technique yields pointwise upper and lower bounds for the Dirichlet Green's function of the Laplacian plus a singular drift term in the unit ball.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a new approach to estimate the Green's function pointwise for elliptic operators that consist of the Laplacian plus a drift vector field which becomes singular near the boundary of the domain. This drift is allowed to diverge like the inverse distance to a power less than one. The estimates are obtained in the unit ball in three or more dimensions and remain valid without assuming the operator satisfies any coercivity condition. The constants are controlled uniformly inside any smaller concentric ball and depend explicitly on the radius of that ball. This provides the first such pointwise control for non-coercive drifts and works even when the drift is smooth.

Core claim

We introduce a technique to obtain pointwise upper and lower bounds for the Green's function of elliptic operators whose principal part is the Laplacian and that include a drift term diverging near the boundary like a power of the inverse distance with exponent less than 1, in the unit ball B(0,1) subset R^n, n greater than or equal to 3. The constants in the upper estimates are uniform in B(0,r) for each r less than 1, with explicit dependence on r. The drift here belongs to C^{1,alpha}_loc and may, more generally, be majorized by a function radially integrable up to the boundary. These appear to be the first such estimates for non-coercive drifts and remain new even for smooth drifts, sugg

What carries the argument

A comparison or integral estimate technique that exploits the radial integrability of a majorant for the singular drift to control the Green's function behavior.

If this is right

  • The upper bounds hold with constants uniform on any ball strictly inside the unit ball, with explicit dependence on the radius.
  • Lower bounds are also obtained for the same class of operators.
  • The method applies to drifts that are only locally C^{1,alpha} and bounded by radially integrable functions.
  • These estimates open the door to studying operators without coercivity where standard energy methods do not apply.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This method might extend to other domains beyond the ball by using similar radial controls near the boundary.
  • Probabilistic representations of the Green's function could be used to verify the bounds numerically for specific drift examples.
  • Similar techniques may apply to equations with singular potentials instead of drifts.
  • Applications could include heat kernels or other parabolic analogs with time-dependent singularities.

Load-bearing premise

The radial integrability up to the boundary of a majorizing function for the drift is sufficient to obtain the pointwise bounds without needing any coercivity on the operator.

What would settle it

Constructing or numerically computing a specific example of a radially integrable singular drift where the Green's function fails to satisfy the claimed pointwise upper or lower bounds.

Figures

Figures reproduced from arXiv: 2511.12741 by Aritro Pathak.

Figure 1
Figure 1. Figure 1: The boundary of the set Ω2s ∗ , the sphere of radius 1/L centered at 0, the point on the level set ∂Ω2s ∗ at the closest distance from 0, are shown in the figure. We next show that there exists some constant η > 0 so that for any configuration of the drift, we have V (0) |B(0, 1/L)| = |{x : G(x, 0) ≥ 2s ∗}| |B(0, 1/L)| ≥ η. (43) This clearly means that for any configuration of the drift, we have B0 |B(0, 1… view at source ↗
read the original abstract

We introduce a technique to obtain pointwise upper and lower bounds for the Green's function of elliptic operators whose principal part is the Laplacian and that include a drift term diverging near the boundary like a power of the inverse distance with exponent less than 1, in the unit ball B(0,1) \subset \mathbb{R}^n, n \ge 3. The constants in the upper estimates are uniform in B(0,r) for each r < 1, with explicit dependence on r. The drift here belongs to C^{1,\alpha}_{\mathrm{loc}} and may, more generally, be majorized by a function radially integrable up to the boundary. These appear to be the first such estimates for non-coercive drifts and remain new even for smooth drifts, suggesting extensions to singular potentials and other settings where energy methods fail.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript introduces a technique to derive pointwise upper and lower bounds on the Dirichlet Green's function for elliptic operators whose principal part is the Laplacian and which include a drift term b that diverges near the boundary of the unit ball in R^n (n≥3) like a power of the inverse distance with exponent less than 1. The drift is assumed to belong to C^{1,α}_loc and to be majorized by a radially integrable function up to the boundary. Upper-bound constants are uniform in B(0,r) for each r<1 with explicit r-dependence. The estimates are presented as new even for smooth drifts and as the first available for non-coercive singular drifts.

Significance. If the central technique is valid, the work supplies the first pointwise bounds of this type for non-coercive drifts where energy methods fail, with explicit uniformity in subdomains. This could open routes to singular potentials and other settings lacking coercivity, and the radial-integrability hypothesis is a concrete weakening of standard assumptions.

major comments (1)
  1. [Proof of the lower bound] The lower-bound argument treats the drift as a perturbation controlled solely by radial integrability of a majorant for |b|. It is not shown that this controls directional effects sufficiently to preserve positivity or the comparison principle in the integral representation formula; an inward-pointing component along rays could alter the sign of remainder terms. This assumption is load-bearing for the lower estimate (see the perturbation step in the proof of the main theorem).
minor comments (2)
  1. [Assumptions and notation] Clarify the precise statement of the radial integrability condition on the majorant (e.g., whether it is ∫_0^1 m(r) dr < ∞ or a weighted version) and how it is used in the estimates near the boundary.
  2. [Introduction] The abstract claims the estimates remain new even for smooth drifts; a brief comparison with existing literature on smooth coercive cases would strengthen the introduction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying this key point in the lower-bound argument. We respond to the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Proof of the lower bound] The lower-bound argument treats the drift as a perturbation controlled solely by radial integrability of a majorant for |b|. It is not shown that this controls directional effects sufficiently to preserve positivity or the comparison principle in the integral representation formula; an inward-pointing component along rays could alter the sign of remainder terms. This assumption is load-bearing for the lower estimate (see the perturbation step in the proof of the main theorem).

    Authors: We appreciate the referee highlighting the need for explicit justification here. In the perturbation analysis we majorize the drift by a radially integrable function controlling |b|, which permits an absolute-value estimate on the integral remainder term in the representation formula. Because the kernel (the Laplacian Green's function) is positive, this L1-type control along rays bounds the perturbation uniformly in direction; the worst-case (inward) contribution is already absorbed into the majorant. The comparison principle is then applied to a perturbed subsolution whose error is made arbitrarily small by the radial integrability hypothesis, preserving the strict positivity of the lower bound. We will insert a short clarifying lemma and remark immediately after the perturbation step to make this directional independence explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; bounds derived from perturbation estimates and integrability without self-referential reduction

full rationale

The paper presents a technique for pointwise upper and lower bounds on the Green's function by treating the singular drift as a perturbation of the Laplacian case, controlling integral remainder terms via C^{1,α}_loc regularity and radial integrability of a majorant for |b|. No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the central claims rely on comparison principles and explicit remainder estimates that are independent of the target bounds. The derivation chain is self-contained against external benchmarks such as standard Green's function representations and does not invoke uniqueness theorems or ansatzes from prior author work as forcing mechanisms.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard elliptic theory plus a new technique whose details are not visible from the abstract; no free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)
  • standard math Elliptic regularity and Green's function existence for the Laplacian in the unit ball
    Invoked implicitly as the principal part is the Laplacian.

pith-pipeline@v0.9.0 · 5434 in / 1256 out tokens · 21598 ms · 2026-05-17T21:44:55.748044+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Dirichlet Green's functions with singular drifts at the boundary of convex domains

    math.AP 2026-04 unverdicted novelty 5.0

    Interior pointwise upper bounds are established for Dirichlet Green's functions of Laplacian-plus-singular-drift elliptic operators in convex bounded domains in R^n for n greater than or equal to 3.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aronson, D. G. (1968). Non-negative solutions of linear parabolic equations. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze, 22(4), 607-694

    work page 1968

  2. [2]

    Cafarelli, L., Fabes, E., Mortola, S., and Salsa, S. (1981). Boundary behavior of non negative solutions of elliptic operators in divergence form, Indiana J. Math., 30 (1981), 621, 640

    work page 1981

  3. [3]

    and Hirata, K., 2008

    Aikawa, H. and Hirata, K., 2008. Doubling conditions for harmonic measure in John domains. In Annales de l'institut Fourier (Vol. 58, No. 2, pp. 429-445)

    work page 2008

  4. [4]

    On strong barriers and an inequality of Hardy for domains in Rn

    Ancona, Alano. "On strong barriers and an inequality of Hardy for domains in Rn." Journal of the London Mathematical Society 2, no. 2 (1986): 274-290

    work page 1986

  5. [5]

    On the equation in weighted L 2 norms in C1 equation in weighted L 2 norms in C1

    Christ, Michael. "On the equation in weighted L 2 norms in C1 equation in weighted L 2 norms in C1." The Journal of Geometric Analysis 1, no. 3 (1991): 193-230

    work page 1991

  6. [6]

    Partial differential equations

    Evans, Lawrence C. Partial differential equations. Vol. 19. American Mathematical Society, 2022

    work page 2022

  7. [7]

    Trudinger, David Gilbarg, and N

    Gilbarg, David, Neil S. Trudinger, David Gilbarg, and N. S. Trudinger. Elliptic partial differential equations of second order. Vol. 224, no. 2. Berlin: springer, 1977

    work page 1977

  8. [8]

    Fundamentals of Fourier Analysis

    Grafakos, Loukas. Fundamentals of Fourier Analysis. Springer, 2023

    work page 2023

  9. [9]

    and Widman, K.O., 1982

    Grüter, M. and Widman, K.O., 1982. The Green function for uniformly elliptic equations. Manuscripta mathematica, 37(3), pp.303-342

    work page 1982

  10. [10]

    Global H\

    Hara, Takanobu. "Global H\" o lder solvability of second order elliptic equations with locally integrable lower-order coefficients." arXiv preprint arXiv:2403.01104 (2024)

    work page arXiv 2024

  11. [11]

    Hofmann, S., and Lewis, J. L. (2001). The Dirichlet problem for parabolic operators with singular drift terms (Vol. 719). American Mathematical Society

    work page 2001

  12. [12]

    The Dirichlet problem for elliptic operators having a BMO anti-symmetric part

    Hofmann, Steve, Linhan Li, Svitlana Mayboroda, and Jill Pipher. "The Dirichlet problem for elliptic operators having a BMO anti-symmetric part." Mathematische Annalen 382, no. 1-2 (2022): 103-168

    work page 2022

  13. [13]

    Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

    Hofmann, Steve, José María Martell, Svitlana Mayboroda, Tatiana Toro, and Zihui Zhao. "Uniform rectifiability and elliptic operators satisfying a Carleson measure condition." Geometric and Functional Analysis 31, no. 2 (2021): 325-401

    work page 2021

  14. [14]

    The Dirichlet problem for elliptic equations with drift terms

    Kenig, Carlos E., and Jill Pipher. "The Dirichlet problem for elliptic equations with drift terms." Publicacions matemàtiques (2001): 199-217

    work page 2001

  15. [15]

    Kim, S., and Sakellaris, G. (2019). Green’s function for second order elliptic equations with singular lower order coefficients. Communications in Partial Differential Equations, 44(3), 228-270

    work page 2019

  16. [16]

    The Fundamental Solution of an Elliptic Equation with Singular Drift

    Maz'ya, Vladimir, and Robert McOwen. "The Fundamental Solution of an Elliptic Equation with Singular Drift." arXiv preprint arXiv:2209.00058 (2022)

    work page arXiv 2022

  17. [17]

    Harnack inequality for degenerate and singular elliptic equations with unbounded drift

    Mooney, C., 2015. Harnack inequality for degenerate and singular elliptic equations with unbounded drift. Journal of Differential Equations, 258(5), pp.1577-1591

    work page 2015

  18. [18]

    Regularity theory and Green's function for elliptic equations with lower order terms in unbounded domains

    Mourgoglou, Mihalis. "Regularity theory and Green's function for elliptic equations with lower order terms in unbounded domains." arXiv preprint arXiv:1904.04722 (2019)

    work page arXiv 1904

  19. [19]

    Continuity of solutions of parabolic and elliptic equations

    Nash, John. "Continuity of solutions of parabolic and elliptic equations." American Journal of Mathematics 80, no. 4 (1958): 931-954

    work page 1958

  20. [20]

    The Harnack inequality and related properties for solutions of elliptic and parabolic equations with divergence-free lower-order coefficients

    Nazarov, A. "The Harnack inequality and related properties for solutions of elliptic and parabolic equations with divergence-free lower-order coefficients." St. Petersburg Mathematical Journal 23, no. 1 (2012): 93-115

    work page 2012

  21. [21]

    A counterexample for pointwise upper bounds on Green's function with a singular drift at boundary

    Pathak, Aritro. "A counterexample for pointwise upper bounds on Green's function with a singular drift at boundary." arXiv:2405.13313

    work page arXiv

  22. [22]

    Applications of the landscape function for Schrödinger operators with singular potentials and irregular magnetic fields

    Poggi, Bruno. "Applications of the landscape function for Schrödinger operators with singular potentials and irregular magnetic fields." Advances in mathematics 445 (2024): 109665

    work page 2024

  23. [23]

    On scale-invariant bounds for the Green’s function for second-order elliptic equations with lower-order coefficients and applications

    Sakellaris, Georgios. "On scale-invariant bounds for the Green’s function for second-order elliptic equations with lower-order coefficients and applications." Analysis & PDE 14, no. 1 (2021): 251-299

    work page 2021

  24. [24]

    On the Neumann problem for Schrödinger operators in Lipschitz domains

    Shen, Zhongwei. "On the Neumann problem for Schrödinger operators in Lipschitz domains." Indiana University Mathematics Journal (1994): 143-176

    work page 1994

  25. [25]

    L^ p estimates for Schrödinger operators with certain potentials

    Shen, Zhongwei. " L^ p estimates for Schrödinger operators with certain potentials." In Annales de l'institut Fourier, vol. 45, no. 2, pp. 513-546. 1995

    work page 1995

  26. [26]

    On fundamental solutions of generalized Schrödinger operators

    Shen, Zhongwei. "On fundamental solutions of generalized Schrödinger operators." Journal of Functional Analysis 167, no. 2 (1999): 521-564

    work page 1999

  27. [27]

    On divergence-free drifts

    Seregin, Gregory, Luis Silvestre, Vladimír Šverák, and Andrej Zlatoš. "On divergence-free drifts." Journal of Differential Equations 252, no. 1 (2012): 505-540

    work page 2012

  28. [28]

    The regularity problems with data in Hardy–Sobolev spaces for singular Schrödinger equation in Lipschitz domains

    Tao, Xiangxing. "The regularity problems with data in Hardy–Sobolev spaces for singular Schrödinger equation in Lipschitz domains." Potential Analysis 36, no. 3 (2012): 405-428

    work page 2012

  29. [29]

    ``The Dirichlet Problem''

    Wiener,Norbert. ``The Dirichlet Problem''. Journal of Mathematics and Physics, 3 (1924), no. 3, 127–146

    work page 1924