pith. sign in

arxiv: 2604.10622 · v1 · submitted 2026-04-12 · 🧮 math.AP

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

Pith reviewed 2026-05-10 16:41 UTC · model grok-4.3

classification 🧮 math.AP
keywords Dirichlet Green's functionsingular driftconvex domaininterior pointwise boundselliptic operatorLaplacianboundary singularity
0
0 comments X

The pith

Dirichlet Green's functions for Laplacian-plus-drift operators satisfy interior pointwise upper bounds in convex domains.

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

The paper proves that in any bounded convex domain in dimensions three and higher, the Dirichlet Green's function for an elliptic operator with Laplacian leading term and a drift that blows up like distance to the boundary raised to a power strictly between zero and minus one obeys pointwise upper bounds away from the boundary. These bounds extend an earlier result that was limited to the unit ball by streamlining the argument to use convexity directly. A reader would care because the estimates control the size of solutions to the associated boundary-value problems in the interior even though the coefficients become singular at the boundary.

Core claim

In convex bounded domains in R^n with n greater than or equal to 3, the Dirichlet Green's function of elliptic operators whose principal part is the Laplacian and which include a drift term that diverges near the boundary like a negative power of the distance with exponent strictly less than 1 obeys interior pointwise upper bounds.

What carries the argument

Interior pointwise upper bounds on the Dirichlet Green's function, derived by adapting potential-theoretic or maximum-principle estimates to the singular drift while exploiting domain convexity.

If this is right

  • The bounds give uniform control on solutions of the corresponding elliptic equations inside the domain regardless of the boundary singularity.
  • The same estimates apply to every bounded convex set rather than only to balls.
  • The streamlined proof removes the need for special coordinates available only in the ball.
  • Parabolic counterparts or time-dependent problems become accessible once the elliptic case is settled.

Where Pith is reading between the lines

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

  • The estimates could be checked numerically inside a cube or a simplex to confirm the constant dependence on the drift exponent.
  • If the bounds persist, they might extend to certain non-convex domains whose boundary curvature satisfies a weaker integral condition.
  • The technique may simplify similar Green's-function estimates when the drift is replaced by other singular lower-order terms.

Load-bearing premise

The domain must be convex and bounded while the drift singularity exponent must be strictly less than one.

What would settle it

An explicit construction of a convex domain and a drift with exponent less than one where the Green's function exceeds any multiple of the claimed upper bound in the interior.

Figures

Figures reproduced from arXiv: 2604.10622 by Aritro Pathak.

Figure 1
Figure 1. Figure 1: The setting for the far field effect in K \ B1, showing the maximum points on the surfaces Ky and Ky+dy, which are the points where the Green function is maximized on the given sphere. We have ty = |sy − s¯y|, and wy = |sy+dy − uy+dy|. 4.2 Far field decay of the gradient of the Green’s function within the an￾nular region B1 \ B(0, 1 L ) Here we now estimate the decay of the gradient of the Green’s function… view at source ↗
Figure 2
Figure 2. Figure 2: The setting for the near field effect, showing the minimum points on two infinitesimally [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗
read the original abstract

In convex bounded domains in R^n with n >= 3, we establish interior pointwise upper bounds for the Dirichlet Green's function of elliptic operators in the unit ball B(0,1) in R^n, n >= 3, whose principal part is the Laplacian and which include a drift term that diverges near the boundary like a negative power of the distance with exponent strictly less than 1. This work extends an earlier result for operators with such drifts in the unit ball, and streamlines the proof in particular to adopt it to the question in convex domains.

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

0 major / 1 minor

Summary. The manuscript claims to establish interior pointwise upper bounds for the Dirichlet Green's function associated to elliptic operators with Laplacian principal part and a drift term that diverges like dist^{-α} (α < 1) near the boundary, for convex bounded domains in R^n with n ≥ 3. The argument extends an earlier result valid in the unit ball by streamlining the proof to eliminate reliance on radial symmetry while retaining the same conclusion.

Significance. If the bounds are correctly established, the result supplies a useful generalization of Green's function estimates beyond radially symmetric domains, with potential applications to boundary-value problems involving singular coefficients. The removal of radial symmetry and the explicit retention of the convexity and α < 1 hypotheses are strengths that make the contribution self-contained and falsifiable.

minor comments (1)
  1. [Abstract] Abstract: the opening sentence states the result for convex bounded domains but then immediately refers to 'elliptic operators in the unit ball B(0,1)'; this internal repetition and scope mismatch should be corrected for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation of minor revision. The summary accurately describes the main result: interior pointwise upper bounds for the Dirichlet Green's function of Laplacian-plus-singular-drift operators in convex bounded domains, obtained by streamlining the earlier ball proof to remove radial symmetry while keeping the convexity and α < 1 assumptions.

Circularity Check

0 steps flagged

No significant circularity; direct analytic proof extending prior independent work

full rationale

The paper establishes interior pointwise upper bounds for the Dirichlet Green's function via direct analytic arguments that explicitly invoke convexity of the domain, the strict inequality on the drift exponent α < 1, and the Laplacian principal part. These assumptions are stated as necessary and used in the derivation without reduction to fitted parameters, self-definitions, or self-referential quantities. The extension from the unit-ball case is presented as a streamlining of an earlier independent result rather than a load-bearing self-citation that replaces the current proof. No equations or steps in the provided abstract or description reduce the claimed bounds to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard elliptic regularity theory, the geometric assumption of convexity, and the explicit restriction on the drift singularity exponent; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The domain is convex and bounded in R^n for n >= 3
    Convexity is invoked to control boundary geometry in the interior estimates.
  • domain assumption The drift diverges as dist^{-alpha} with alpha < 1
    The strict inequality alpha < 1 is required for the singularity to remain integrable enough for the bounds to hold.

pith-pipeline@v0.9.0 · 5378 in / 1404 out tokens · 61454 ms · 2026-05-10T16:41:21.460330+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

  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

  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

  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)

  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

  5. [5]

    The landscape function on R^ d

    David, Guy, Antoine Gloria, and Svitlana Mayboroda. "The landscape function on R^ d ." arXiv preprint arXiv:2307.11182 (2023)

  6. [6]

    Smoothness of Minkowski sum and generic rotations

    Belegradek, Igor, and Zixin Jiang. "Smoothness of Minkowski sum and generic rotations." Journal of Mathematical Analysis and Applications 450, no. 2 (2017): 1229-1244

  7. [7]

    Conditional transformation of drift formula and potential theory for 1 2 + b ( ) ( )

    Cranston, Michael, and Z. Zhao. "Conditional transformation of drift formula and potential theory for 1 2 + b ( ) ( ) " Communications in mathematical physics 112, no. 4 (1987): 613-625

  8. [8]

    Partial differential equations

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

  9. [9]

    Trudinger

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

  10. [10]

    Fundamentals of Fourier Analysis

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

  11. [11]

    The Green function for uniformly elliptic equations

    Grüter, Michael, and Kjell-Ove Widman. "The Green function for uniformly elliptic equations." Manuscripta mathematica 37, no. 3 (1982): 303-34

  12. [12]

    ``Global Hölder solvability of second order elliptic equations with locally integrable lower-order coefficients." Proceedings of the American Mathematical Society 153, no

    Hara, Takanobu. ``Global Hölder solvability of second order elliptic equations with locally integrable lower-order coefficients." Proceedings of the American Mathematical Society 153, no. 11 (2025): 4769-4779

  13. [13]

    The Dirichlet problem for parabolic operators with singular drift terms

    Hofmann, Steve, and Lewis. The Dirichlet problem for parabolic operators with singular drift terms. Vol. 719. American Mathematical Society, 2001

  14. [14]

    Estimates of Green functions and harmonic measures for elliptic operators with singular drift terms

    Ifra, Abdoul, and Lotfi Riahi. "Estimates of Green functions and harmonic measures for elliptic operators with singular drift terms." Publicacions matematiques (2005): 159-177

  15. [15]

    and Sakellaris, Georgios (2019)

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

  16. [16]

    On the vector sum of two convex sets in space

    Krantz, Steven G., and Harold R. Parks. "On the vector sum of two convex sets in space." Canadian Journal of Mathematics 43, no. 2 (1991): 347-355

  17. [17]

    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)

  18. [18]

    ``Regularity theory and Green’s function for elliptic equations with lower order terms in unbounded domains." Calc

    Mourgoglou, Mihalis. ``Regularity theory and Green’s function for elliptic equations with lower order terms in unbounded domains." Calc. Var. Partial Differential Equations 62 (2023), 266

  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

  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

  21. [21]

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

    Pathak, Aritro. "Pointwise bounds on Dirichlet Green's functions for a singular drift term." arXiv preprint arXiv:2511.12741 (2025)

  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

  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

  24. [24]

    View on N-dimensional spherical harmonics from the quantum mechanical P\

    Smirnov, A. "View on N-dimensional spherical harmonics from the quantum mechanical P\" oschl-Teller potential well." arXiv preprint arXiv:1901.06711 (2019)

  25. [25]

    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

  26. [26]

    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

  27. [27]

    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

  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