Asymptotic behavior of solutions to elliptic equations in 2D exterior domains

Hideo Kozono; Yutaka Terasawa; Yuta Wakasugi

arxiv: 2406.12245 · v3 · pith:3BKVLEFXnew · submitted 2024-06-18 · 🧮 math.AP

Asymptotic behavior of solutions to elliptic equations in 2D exterior domains

Hideo Kozono , Yutaka Terasawa , Yuta Wakasugi This is my paper

Pith reviewed 2026-05-24 00:22 UTC · model grok-4.3

classification 🧮 math.AP

keywords elliptic equationsexterior domainsasymptotic behaviorLorentz spacespointwise estimatesdecay at infinityweak Lebesgue spacestwo-dimensional domains

0 comments

The pith

Solutions to second-order elliptic equations in 2D exterior domains admit almost sharp pointwise decay estimates at infinity when they belong to Lorentz or weak Lebesgue spaces.

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

The paper establishes that if a solution to a second-order elliptic equation in a 2D exterior domain lies in a Lorentz space L^{p,q} or weak Lebesgue space L^{p,∞}, and the coefficients meet suitable restrictions, then the solution satisfies a natural pointwise bound at spatial infinity. The bound is nearly optimal in its dependence on the integrability parameters. A reader would care because these estimates describe the far-field behavior of solutions in unbounded regions without requiring extra boundary data. The argument adapts an integral-identity technique first developed for the vorticity formulation of the 2D Navier-Stokes equations.

Core claim

Under the assumption that the solution belongs to the Lorentz space L^{p,q} or the weak Lebesgue space L^{p,∞} with certain conditions on the coefficients, we give natural and an almost sharp pointwise estimate of the solution at spatial infinity. The proof is based on the argument by Korobkov--Pileckas--Russo, in which the decay property of the solution to the vorticity equation of the two-dimensional Navier--Stokes equations was studied.

What carries the argument

Adaptation of the Korobkov-Pileckas-Russo argument that extracts pointwise decay from Lorentz or weak-Lebesgue integrability via integral representations in exterior domains.

If this is right

The decay rate is controlled by the Lorentz indices p and q, yielding bounds that become sharper as p increases.
The estimates hold uniformly outside a large compact set and require no further decay assumptions on the right-hand side beyond the given integrability.
The result applies to a broad class of second-order operators whose coefficients obey the structural conditions needed for the adapted argument.
Global integrability in Lorentz spaces implies local boundedness and decay at infinity simultaneously for solutions in exterior domains.

Where Pith is reading between the lines

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

The same integrability-to-decay passage may apply to higher-order elliptic operators or to systems whose fundamental solutions admit comparable integral representations.
One could test whether the method produces decay for solutions of parabolic equations posed in exterior domains under analogous space-time integrability.
The technique might link to questions in potential theory about how L^{p,∞} membership controls the growth of harmonic functions at infinity.
Explicit radial solutions in annular regions could be used to confirm sharpness of the constants appearing in the pointwise bound.

Load-bearing premise

The solution must belong to L^{p,q} or L^{p,∞} and the coefficients must satisfy the restrictions that permit direct use of the Korobkov-Pileckas-Russo integral-identity method.

What would settle it

Exhibit an explicit solution to a model elliptic equation in the complement of a disk that lies in L^{p,∞} yet violates the predicted pointwise upper bound for large |x|.

read the original abstract

The asymptotic behavior of solutions to the second order elliptic equations in exterior domains is studied. In particular, under the assumption that the solution belongs to the Lorentz space $L^{p,q}$ or the weak Lebesgue space $L^{p,\infty}$ with certain conditions on the coefficients, we give natural and an almost sharp pointwise estimate of the solution at spacial infinity. The proof is based on the argument by Korobkov--Pileckas--Russo [4], in which the decay property of the solution to the vorticity equation of the two-dimensional Navier--Stokes equations was studied.

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.

Desk Editor's Note private letter to a colleague

Adapts the Korobkov-Pileckas-Russo integral-identity argument from 2D Navier-Stokes to general second-order elliptic equations to obtain pointwise decay at infinity under Lorentz-space assumptions.

read the letter

The paper takes the integral-identity approach from the cited Navier-Stokes vorticity work and carries it over to second-order elliptic operators in 2D exterior domains. Under the stated conditions that the solution lies in L^{p,q} or weak L^{p,∞} and the coefficients satisfy the needed restrictions, it produces a pointwise bound at large distances that the authors call natural and almost sharp. The adaptation itself is the new piece; the abstract presents it as a routine transfer rather than a fresh derivation from scratch. If the details go through cleanly, the estimate could be handy for people already tracking decay rates in exterior problems. The stress-test turned up no obvious internal contradictions or hidden divergence-structure requirements once the coefficient conditions are granted. The main soft spot is dependence on the external reference for the core steps. The abstract supplies no explicit derivation, error bounds, or verification that the maximum-principle or identity arguments survive the change of operator without extra hypotheses, so the claim cannot be checked from the summary. That keeps the soundness assessment provisional. This is narrow work aimed at specialists in asymptotic behavior of elliptic PDEs in unbounded domains who already know the Navier-Stokes literature. A reader in that subfield might use the estimate, but it will not move broader PDE theory. I would send it to referees; the result is incremental and checkable once the full argument is on the table.

Referee Report

2 major / 3 minor

Summary. The paper studies the asymptotic behavior at spatial infinity of solutions to second-order linear elliptic equations in two-dimensional exterior domains. Under the assumption that the solution lies in a Lorentz space L^{p,q} or weak Lebesgue space L^{p,∞} (with p,q in suitable ranges) and that the coefficients satisfy the restrictions needed to adapt the integral-identity argument of Korobkov-Pileckas-Russo, the authors derive a natural, almost-sharp pointwise decay estimate. The proof strategy consists in carrying over the vorticity-equation technique from the two-dimensional Navier-Stokes system to the general elliptic setting.

Significance. If the adaptation is carried out correctly, the result extends known decay estimates from the Navier-Stokes vorticity equation to a wider class of elliptic operators while preserving the almost-sharp character of the bound. The use of Lorentz and weak-Lebesgue integrability conditions is a natural strengthening that still yields pointwise control; this could be useful for applications involving exterior problems with limited regularity.

major comments (2)

[Proof section (likely §3 or §4)] The central claim rests on the successful transfer of the Korobkov-Pileckas-Russo integral-identity argument. The manuscript should contain an explicit verification (in the proof section) that the divergence-structure and maximum-principle steps remain valid under the stated coefficient hypotheses; without this verification the adaptation cannot be checked from the text alone.
[Theorem 1.1 (or equivalent main result)] The precise ranges of p and q for which the Lorentz/weak-Lebesgue assumption yields the claimed decay are not stated in the abstract and must be made explicit in the main theorem statement, because the admissible range is load-bearing for the integrability hypothesis.

minor comments (3)

[Abstract] Abstract: 'spacial' should be 'spatial'.
[Abstract] The statement 'natural and an almost sharp' is slightly awkward; rephrase for clarity.
[Introduction and Theorem 1.1] Ensure that the coefficient restrictions (e.g., boundedness, ellipticity constants, or decay) are listed uniformly in both the introduction and the statement of the main theorem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. We address the two major comments below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Proof section (likely §3 or §4)] The central claim rests on the successful transfer of the Korobkov-Pileckas-Russo integral-identity argument. The manuscript should contain an explicit verification (in the proof section) that the divergence-structure and maximum-principle steps remain valid under the stated coefficient hypotheses; without this verification the adaptation cannot be checked from the text alone.

Authors: We agree that an explicit verification of the divergence-structure and maximum-principle steps under the coefficient hypotheses would strengthen the presentation. In the revised manuscript we will insert a short dedicated paragraph (or subsection) in the proof section that recalls the relevant steps from Korobkov-Pileckas-Russo and verifies that they remain valid under our assumptions on the coefficients. revision: yes
Referee: [Theorem 1.1 (or equivalent main result)] The precise ranges of p and q for which the Lorentz/weak-Lebesgue assumption yields the claimed decay are not stated in the abstract and must be made explicit in the main theorem statement, because the admissible range is load-bearing for the integrability hypothesis.

Authors: The admissible ranges of p and q are stated in the main theorem (Theorem 1.1). We acknowledge that they are not mentioned in the abstract. In the revision we will update the abstract to include the precise ranges and will ensure the theorem statement makes the dependence on these ranges fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper adapts the integral-identity argument from the external reference [4] (Korobkov-Pileckas-Russo on Navier-Stokes vorticity) to second-order elliptic operators, under stated Lorentz/weak-Lebesgue integrability on the solution and coefficient restrictions. No load-bearing step reduces the claimed pointwise decay estimate at infinity to a quantity defined by the authors themselves, a fitted parameter renamed as prediction, or a self-citation chain. The derivation chain is self-contained against the external benchmark and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard properties of Lorentz spaces, elliptic regularity theory, and the validity of the cited argument from the Navier-Stokes literature; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Standard embedding and regularity properties of Lorentz spaces L^{p,q} and weak Lebesgue spaces L^{p,∞}
Invoked to obtain pointwise bounds from integrability assumptions.
domain assumption The Korobkov-Pileckas-Russo decay argument applies verbatim once the integrability and coefficient conditions are met
Central to transferring the proof technique.

pith-pipeline@v0.9.0 · 5630 in / 1216 out tokens · 23919 ms · 2026-05-24T00:22:23.960378+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

under the assumption that the solution belongs to the Lorentz space L^{p,q} or the weak Lebesgue space L^{p,∞} ... pointwise estimate of the solution at spatial infinity. The proof is based on the argument by Korobkov–Pileckas–Russo
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

∫_{u^{-1}(t)} |∇u| dS ≤ C^* t ... coarea formula ... tg(t)/2^p ≤ C'_* (∫_{E_t} |u|^p dx)^{1/p}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

L. C. Evans, R. F. Gariepy , Measure Theory and Fine Properties of Functions, Revised Edition, CRC Press, Taylor & Francis Group, 2015

work page 2015
[2]

Gilbarg, N

D. Gilbarg, N. Trudinger , Elliptic Partial Diﬀerential Equations of Second Order, 2 nd ed., Springer, 1983

work page 1983
[3]

Gilbarg, H

D. Gilbarg, H. F. Weinberger , Asymptotic properties of steady plane solutions of the Navier–Stokes equations with bounded Dirichlet integral , Ann. Sc. Norm. Pisa (4) 5 (1978), 381–404

work page 1978
[4]

M. V. Korobkov, K. Pileckas, R. Russo , On convergence of arbitrary D-Solution of steady Navier–Stokes system in 2D exterior domains , Arch. Rational Mech. Anal. 233 (2019) 385– 407

work page 2019
[5]

M. V. Korobkov, K. Pileckas, R. Russo , On the steady Navier–Stokes equations in 2D exterior domains , J. Diﬀerential Equations 269 (2020) 1796–1828

work page 2020
[6]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic behavior of solutions to elliptic and parabolic equations with unbounded coeﬃcients of the secon d order in unbounded domains , Math. Ann. 380 (2021) 1105–1117

work page 2021
[7]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic behavior and Liouville-type theorems for axisymmetric stationary Navier-Stokes equations outs ide of an inﬁnite cylinder with a periodic boundary condition , J. Diﬀerential Equations 365 (2023), 905–926

work page 2023
[8]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic properties of steady and nonsteady solutions to the 2D Navier-Stokes equations with ﬁnite gene ralized Dirichlet integral, Indiana Univ. Math. J. 71 No. 3 (2022), 1299–1316

work page 2022
[9]

J. W. Milnor , Topology from the diﬀerentiable viewpoint, based on notes by David W. W eaver, University Press of Virginia, Charlottesville, V A , 1965. ix+65 pp

work page 1965
[10]

Seregin, L

G. Seregin, L. Silvestre, V. ˇSver´ak, A. Zlato ˇs, On divergence-free drifts , J. Diﬀer. Equ. 252, (2012), 505–540. (H. Kozono) Department of Mathematics, F aculty of Science and Engineering, W aseda University, Tokyo 169–8555, Japan, Mathematical Research C enter for Co-creative Society, Tohoku University, Sendai 980-8578, Japan Email address , H. Kozon...

work page 2012

[1] [1]

L. C. Evans, R. F. Gariepy , Measure Theory and Fine Properties of Functions, Revised Edition, CRC Press, Taylor & Francis Group, 2015

work page 2015

[2] [2]

Gilbarg, N

D. Gilbarg, N. Trudinger , Elliptic Partial Diﬀerential Equations of Second Order, 2 nd ed., Springer, 1983

work page 1983

[3] [3]

Gilbarg, H

D. Gilbarg, H. F. Weinberger , Asymptotic properties of steady plane solutions of the Navier–Stokes equations with bounded Dirichlet integral , Ann. Sc. Norm. Pisa (4) 5 (1978), 381–404

work page 1978

[4] [4]

M. V. Korobkov, K. Pileckas, R. Russo , On convergence of arbitrary D-Solution of steady Navier–Stokes system in 2D exterior domains , Arch. Rational Mech. Anal. 233 (2019) 385– 407

work page 2019

[5] [5]

M. V. Korobkov, K. Pileckas, R. Russo , On the steady Navier–Stokes equations in 2D exterior domains , J. Diﬀerential Equations 269 (2020) 1796–1828

work page 2020

[6] [6]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic behavior of solutions to elliptic and parabolic equations with unbounded coeﬃcients of the secon d order in unbounded domains , Math. Ann. 380 (2021) 1105–1117

work page 2021

[7] [7]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic behavior and Liouville-type theorems for axisymmetric stationary Navier-Stokes equations outs ide of an inﬁnite cylinder with a periodic boundary condition , J. Diﬀerential Equations 365 (2023), 905–926

work page 2023

[8] [8]

Kozono, Y

H. Kozono, Y. Terasaw a, Y. W akasugi , Asymptotic properties of steady and nonsteady solutions to the 2D Navier-Stokes equations with ﬁnite gene ralized Dirichlet integral, Indiana Univ. Math. J. 71 No. 3 (2022), 1299–1316

work page 2022

[9] [9]

J. W. Milnor , Topology from the diﬀerentiable viewpoint, based on notes by David W. W eaver, University Press of Virginia, Charlottesville, V A , 1965. ix+65 pp

work page 1965

[10] [10]

Seregin, L

G. Seregin, L. Silvestre, V. ˇSver´ak, A. Zlato ˇs, On divergence-free drifts , J. Diﬀer. Equ. 252, (2012), 505–540. (H. Kozono) Department of Mathematics, F aculty of Science and Engineering, W aseda University, Tokyo 169–8555, Japan, Mathematical Research C enter for Co-creative Society, Tohoku University, Sendai 980-8578, Japan Email address , H. Kozon...

work page 2012