Behaviour at infinity for solutions of a mixed boundary value problem via inversion

Abubakar Mwasa; Jana Bj\"orn

Behaviour at infinity for solutions of a mixed boundary value problem via inversion

T0 review · 0 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Bounded weak solutions exist and are unique for the mixed boundary problem in the infinite half-cylinder, with the point at infinity regular or irregular based on p-capacity, and Neumann solutions at infinity follow one of three behaviors.

desk verdict The paper applies inversion to a mixed Dirichlet-Neumann problem in a half-cylinder and obtains a three-alternative asymptotic at infinity via p-capacity. read the letter →

arxiv 2103.15645 v1 submitted 2021-03-29 math.AP

Jana Björn , Abubakar Mwasa This is my paper

classification math.AP

keywords mixedboundaryvalueproblemquasilinearellipticequationinfinitehalf-cylinderp-capacityregularityatinfinityPhragmén-LindelöfprincipleweaksolutionsNeumanndata

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves existence and uniqueness of bounded weak solutions to a mixed Dirichlet-Neumann boundary value problem for the quasilinear elliptic equation div A(x, ∇u) = 0 inside an open infinite circular half-cylinder. Dirichlet data is prescribed continuously on part of the boundary while the conormal derivative vanishes on the remaining part. It characterizes the regularity or irregularity of the point at infinity by means of p-capacities. Solutions that carry only Neumann data near infinity are shown to fall into exactly one of three possible asymptotic classes at that point, analogous to the alternatives in the Phragmén-Lindelöf principle. A reader cares because the result gives a complete classification of possible large-scale behavior for such problems in unbounded cylindrical domains.

What carries the argument

The p-capacity of the point at infinity, which decides its regularity and enables comparison principles that restrict Neumann solutions to three asymptotic classes.

What would settle it

Construction of a bounded weak solution with only Neumann data near infinity that fails to match any of the three listed behaviors, or an example where existence or uniqueness fails for some continuous Dirichlet data under the stated structural assumptions on A.

Watch

Extended reading notes

Core claim

We prove the existence and uniqueness of bounded weak solutions to the mixed problem and characterize the regularity of the point at infinity in terms of p-capacities. For solutions with only Neumann data near the point at infinity we show that they behave in exactly one of three possible ways, similar to the alternatives in the Phragmén-Lindelöf principle.

Load-bearing premise

The vector field A satisfies continuity, monotonicity and p-growth conditions that make the quasilinear operator elliptic and allow weak formulations plus comparison principles to hold.

Editorial extensions

If this is right

The mixed problem admits a unique bounded weak solution whenever the Dirichlet data is continuous.
The point at infinity is regular precisely when a certain p-capacity is positive.
Any solution carrying only Neumann data near infinity must satisfy one of the three asymptotic alternatives.
The same capacity test and trichotomy extend directly to the homogeneous Neumann problem on the entire lateral boundary near infinity.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The trichotomy may apply to other unbounded domains once an analogous capacity condition at infinity is formulated.
Numerical schemes for elliptic problems in long cylinders could use the three classes to impose consistent far-field conditions.
The result indicates that Phragmén-Lindelöf type principles remain valid under mixed boundary conditions for quasilinear operators.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

This paper takes the inversion method for problems at infinity and applies it to a mixed Dirichlet-Neumann boundary value problem for a quasilinear elliptic equation in an infinite circular half-cylinder. They prove existence and uniqueness of bounded weak solutions and characterize when the point at infinity is regular using p-capacity. For the case with only Neumann data near infinity, they get exactly three possible behaviors, like the alternatives in the Phragmén-Lindelöf principle. The new part is the combination: the specific geometry with mixed conditions, the inversion that preserves the weak form and boundary types, and the capacity-based regularity plus the three-way asymptotic. It extends earlier work on pure Dirichlet or other settings by bringing in the mixed case. It does well on the technical side by relying on standard comparison principles and capacity theory without introducing new fitting or circular arguments. The transformation under inversion seems to work cleanly for the divergence structure. The soft spots are minor. The structural assumptions on the vector field A are the usual ones for ellipticity and growth, and they are not restated in detail, but that's common. The main claims depend on those holding after inversion, which the paper presumably checks. No major gaps in the logic from what is described. This is for specialists in elliptic PDE on unbounded domains and nonlinear potential theory. A reader working on similar asymptotic problems will get value from the three-alternative result and the capacity characterization. It deserves a serious referee because the results are concrete extensions of known techniques to a new boundary setting, and the evidence from the abstract and stress test shows no internal contradictions. Recommendation: Yes, send it out for peer review; the work is grounded enough to be worth the referees' time.

Referee Report

0 major / 2 minor

Summary. The manuscript studies a mixed boundary value problem for the quasilinear elliptic equation div A(x, ∇u(x)) = 0 in an open infinite circular half-cylinder, with continuous Dirichlet data on part of the boundary and zero conormal derivative on the rest. It claims to prove existence and uniqueness of bounded weak solutions, to characterize regularity of the point at infinity via p-capacities, and to establish that solutions with only Neumann data near infinity behave in exactly one of three ways analogous to the Phragmén-Lindelöf alternatives.

Significance. If the central claims hold, the work extends asymptotic analysis for quasilinear elliptic equations in unbounded cylindrical domains with mixed boundary conditions. The inversion technique to reduce to a bounded domain, combined with p-capacity characterization of regularity at infinity and the three-alternative behavior under pure Neumann data, builds on standard comparison principles and capacity theory; these elements would strengthen the literature on Phragmén-Lindelöf type principles for nonlinear operators.

minor comments (2)

[Abstract] Abstract: the structural assumptions on the vector field A (continuity, strict monotonicity, p-growth) are invoked throughout but not mentioned; a one-sentence reference would clarify the setting for readers.
The inversion map is asserted to preserve the mixed boundary conditions in the weak sense; an explicit verification (perhaps in the section introducing the transformed problem) would strengthen the argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point at this stage. We are happy to incorporate any minor suggestions the referee or editor may identify.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper establishes existence and uniqueness of bounded weak solutions to a mixed boundary value problem for quasilinear elliptic equations in an infinite cylinder, characterizes regularity at infinity via p-capacity, and classifies asymptotic behavior under Neumann data using an inversion map to a bounded domain. All load-bearing steps rely on standard structural assumptions (continuity, strict monotonicity, p-growth) for the vector field A that guarantee ellipticity and comparison principles, together with external capacity theory and Phragmén–Lindelöf-type alternatives. No equation or definition in the paper reduces a claimed result to a fitted input, self-citation chain, or ansatz smuggled from prior work by the same authors; the inversion preserves the divergence structure without introducing internal circularity. The central claims therefore remain independent of the paper's own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claims rest on standard structural hypotheses for quasilinear elliptic operators and on background results from nonlinear potential theory; no free parameters or new entities are introduced in the abstract.

assumptions (1)

domain assumption The vector field A(x,ξ) satisfies continuity, strict monotonicity, and p-growth conditions that guarantee the weak formulation is well-posed and comparison principles apply.
Invoked to obtain existence, uniqueness, and the capacity characterization; standard in the field but not verified here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Behaviour at infinity for solutions of a mixed boundary value problem via inversion." pith.science (2026). https://pith.science/paper/2103.15645

@misc{pith2026210315645,
  author       = {Pith},
  title        = {Pith review of: Behaviour at infinity for solutions of a mixed boundary value problem via inversion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2103.15645}},
  note         = {Machine review of arXiv:2103.15645}
}

abstract

We study a mixed boundary value problem for the quasilinear elliptic equation $\mathop{\rm div}\mathcal{A}(x,\nabla u(x))=0$ in an open infinite circular half-cylinder with prescribed continuous Dirichlet data on a part of the boundary and zero conormal derivative on the rest. We prove the existence and uniqueness of bounded weak solutions to the mixed problem and characterize the regularity of the point at infinity in terms of \p-capacities. For solutions with only Neumann data near the point at infinity we show that they behave in exactly one of three possible ways, similar to the alternatives in the Phragm\'en--Lindel\"of principle.

Discussion (0). Sign in to comment.

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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We prove the existence and uniqueness of bounded weak solutions... characterize the regularity of the point at infinity in terms of p-capacities... three possible ways, similar to the alternatives in the Phragmén–Lindelöf principle.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

The mapping A satisfies... A(x,q)·q ≥ α1|q|^p, |A(x,q)| ≤ α2|q|^{p-1}, monotonicity (2.5).

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

35 extracted references · 35 canonical work pages

[1]

and Egert, M., Mixed boundary value problems on cylindrical domains, Adv

Auscher, P. and Egert, M., Mixed boundary value problems on cylindrical domains, Adv. Diﬀerential Equations 22 (2017), 101–168. 3

work page 2017
[2]

and Mwasa, A., Resolutivity and invariance for the Perron method for degenerate equations of divergence type, Preprint, 2020

Bj¨orn, A., Bj ¨orn, J. and Mwasa, A., Resolutivity and invariance for the Perron method for degenerate equations of divergence type, Preprint, 2020. arXiv:2008.00883 3, 12, 13, 14

work page arXiv 2020
[3]

Bj¨orn, J., Regularity at inﬁnity for a mixed problem for degenerate elliptic operators in a half-cylinder, Math. Scand. 81 (1997), 101–126. 3, 6

work page 1997
[4]

and Mwasa, A., Mixed boundary value problem for p-harmonic functions in an inﬁnite cylinder, Nonlinear Anal

Bj¨orn, J. and Mwasa, A., Mixed boundary value problem for p-harmonic functions in an inﬁnite cylinder, Nonlinear Anal. 202 (2021), 112134. 3, 6, 7, 9, 10, 12, 13, 14, 15, 16, 17

work page 2021
[5]

and Nazarov, A

Cao, D., Ibragimov, A. and Nazarov, A. I., Mixed boundary value prob- lems for non-divergence type elliptic equations in unbounded domains , Asymp- tot. Anal. 109 (2018), 75–90. 3

work page 2018
[6]

Chipot, M., On some elliptic problems in unbounded domains, Chin. Ann. Math. Ser. B 39 (2018), 597–606. 3

work page 2018
[7]

and Zube, S., On the asymptotic behaviour of the pure Neumann problem in cylinder-like domains and its applications, Asymptot

Chipot, M. and Zube, S., On the asymptotic behaviour of the pure Neumann problem in cylinder-like domains and its applications, Asymptot. Anal. 108 (2018), 163–185. 3

work page 2018
[8]

and Gladiali, F., Some nonexistence results for positive solutions of elliptic equations in unbounded domains, Rev

Damascelli, L. and Gladiali, F., Some nonexistence results for positive solutions of elliptic equations in unbounded domains, Rev. Mat. Iberoam. 20 (2004), 67–86. 3 20 Jana Bj¨ orn and Abubakar Mwasa

work page 2004

Show all 35 references

[9]

Rational Mech

Gilbarg, D., The Phragm´ en–Lindel¨ of theorem for elliptic partial diﬀerential equations, J. Rational Mech. Anal. 1 (1952), 411–417. 2

1952
[10]

and Martio, O., Nonlinear Potential Theory of Degenerate Elliptic Equations, 2nd ed., Dover, Mineola, NY, 2006

Heinonen, J., Kilpel ¨ainen, T. and Martio, O., Nonlinear Potential Theory of Degenerate Elliptic Equations, 2nd ed., Dover, Mineola, NY, 2006. 3, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19

2006
[11]

Gilbarg, J

Hopf, E., Remarks on the preceding paper by D. Gilbarg, J. Rational Mech. Anal. 1 (1952), 419–424. 2

1952
[12]

Horgan, C. O. and Payne, L. E., Decay estimates for a class of second-order quasilinear equations in three dimensions, Arch. Ration. Mech. Anal. 86 (1984), 279–289. 2

1984
[13]

Horgan, C. O. and Payne, L. E., Decay estimates for second-order quasi- linear partial diﬀerential equations, Adv. in Appl. Math. 5 (1984), 309–332. 2

1984
[14]

I., On the solvability of a mixed problem for second-order elliptic equations, Dokl

Ibragimov, A. I., On the solvability of a mixed problem for second-order elliptic equations, Dokl. Akad. Nauk SSSR 273 (1983), 1305–1307 (Russian). English transl.: Soviet Math. Dokl. 28 (1983), 782–785. 2

1983
[15]

I., Some qualitative properties of solutions of a mixed problem for equations of elliptic type, Mat

Ibragimov, A. I., Some qualitative properties of solutions of a mixed problem for equations of elliptic type, Mat. Sb. 122:2 (1983), 168–181 (Russian). English transl.: Math. USSR-Sb. 50 (1985), 163–176. 2

1983
[16]

Ibragimov, A. I. and Landis, E. M., On the behavior of solutions to the Neumann problem in unbounded domains, Tr. Semin. im. I. G. Petrovskogo 19 (1996), 218–234, 347–348 (Russian). English transl.: J. Math. Sci. (N.Y.) 85 (1997), 2373–2384. 2

1996
[17]

Ibragimov, A. I. and Landis, E. M., Zaremba’s problem for elliptic equations in the neighborhood of a singular point or at inﬁnity. II, Appl. Anal. 69 (1998), 333–347. 2

1998
[18]

and Nazarov, A

Ibragimov, A. and Nazarov, A. I., On Phragm´ en–Lindel¨ of principle for non- divergence type elliptic equations and mixed boundary equations, Asymptot. Anal. 109 (2018), 75–90. 3

2018
[19]

and Lancaster, K., Phragm´ en–Lindel¨ of theorems and the asymptotic behaviour of solutions of quasilinear elliptic equations in slabs, Proc

Jin, Z. and Lancaster, K., Phragm´ en–Lindel¨ of theorems and the asymptotic behaviour of solutions of quasilinear elliptic equations in slabs, Proc. Roy. Soc. Edinburgh Sect. A 130 (2000), 335–373. 2

2000
[20]

and Lancaster, K., A Phragm´ en–Lindel¨ of theorem and the behaviour at inﬁnity of solutions of non-hyperbolic equations, Paciﬁc J

Jin, Z. and Lancaster, K., A Phragm´ en–Lindel¨ of theorem and the behaviour at inﬁnity of solutions of non-hyperbolic equations, Paciﬁc J. Math. 211 (2003), 101–121. 2

2003
[21]

M., The behavior at inﬁnity of the solution of the Zaremba problem for a higher-order elliptic equation in a half-cylinder, Akad

Kerimov, T. M., The behavior at inﬁnity of the solution of the Zaremba problem for a higher-order elliptic equation in a half-cylinder, Akad. Nauk Azerba ˘ ıdzhan. SSR Dokl.40:3 (1984), 3–6 (Russian). 2

1984
[22]

M., Behavior of the solution of the Zaremba problem near a singular point of the boundary, Mat

Kerimov, T. M., Behavior of the solution of the Zaremba problem near a singular point of the boundary, Mat. Zametki 38:4 (1985), 566–575 (Russian). English transl.: Math. Notes 38 (1985), 821–826. 2

1985
[23]

M., Maz ′ya, V

Kerimov, T. M., Maz ′ya, V. G. and Novruzov, A. A., Criterion of regu- larity of the inﬁnitely distant point for the Zaremba problem in a half-c ylinder, Z. Anal. Anwend. 7 (1987), 113–125 (Russian). 3

1987
[24]

S., Asymptotic behavior of the solutions of the second bound- ary value problem in unbounded domains, Uspekhi Mat

Lakhturov, S. S., Asymptotic behavior of the solutions of the second bound- ary value problem in unbounded domains, Uspekhi Mat. Nauk 35:4 (1980), 195–196 (Russian). 2

1980
[25]

Landis, E. M. and Panasenko, G. P., A variant of a theorem of Phragm´ en– Lindel¨ of type for elliptic equations with coeﬃcients that are periodic in all vari- ables but one, Tr. Semin. im. I. G. Petrovskogo 5 (1979), 105–136 (Russian). 2

1979
[26]

Diﬀerential Equations 58 (1985), 307–317

Lindqvist, P., On the growth of the solutions of the diﬀerential equation div(|∇ u|p− 2∇ u) = 0 in n-dimensional space, J. Diﬀerential Equations 58 (1985), 307–317. 2 Behaviour at inﬁnity for solutions of a mixed boundary value problem via inversion 21

1985
[27]

44 (2016), 313–330

Lundstr¨om, N., Phragm´ en–Lindel¨ of theorems andp-harmonic measures for sets near low-dimensional hyperplanes, Potential Anal. 44 (2016), 313–330. 2

2016
[28]

Mikkonen, P., On the Wolﬀ Potential and Quasilinear Elliptic Equations In - volving Measures, Ann. Acad. Sci. Fenn. Math. Dissertationes 104 (1996). 3, 15

1996
[29]

A., On the theory of the third boundary value problem for second-order linear elliptic equations, Dokl

Novruzov, A. A., On the theory of the third boundary value problem for second-order linear elliptic equations, Dokl. Akad. Nauk SSSR 261:2 (1981), 278–282 (Russian). 2

1981
[30]

Quintanilla, R., Some theorems of Phragm´ en–Lindel¨ of type for nonlinear partial diﬀerential equations, Publ. Mat. 37 (1993), 443–463. 2

1993
[31]

Rational Mech

Serrin, J., On the Phragm´ en–Lindel¨ of principle for elliptic diﬀerential equa- tions, J. Rational Mech. Anal. 3 (1954), 395–413. 2

1954
[32]

Vitolo, A., On the Phragm´ en–Lindel¨ of principle for second-order elliptic equations, J. Math. Anal. Appl. 300 (2004), 244–259. 2

2004
[33]

Wi´sniewski, D., Boundary value problems for a second-order elliptic equa- tion in unbounded domains, Ann. Univ. Paedagog. Crac. Stud. Math. 9 (2010), 87–122. 3

2010
[34]

Wi´sniewski, D., The behaviour of weak solutions of boundary value problems for linear elliptic second order equations in unbounded cone-like doma ins, Ann. Math. Sil. 30 (2016), 203–217. 3

2016
[35]

Zaremba, S., Sur un probl` eme mixte relatif ` a l’` equation de Laplace, Bull. Int. Acad. Polon. Sci. Cracovie. Lett. Cl. Sci. Math. Nat. S´ er. A . Sci. Math. (1910), 313–344. 2

1910

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.

[1] [1]

and Egert, M., Mixed boundary value problems on cylindrical domains, Adv

Auscher, P. and Egert, M., Mixed boundary value problems on cylindrical domains, Adv. Diﬀerential Equations 22 (2017), 101–168. 3

work page 2017

[2] [2]

and Mwasa, A., Resolutivity and invariance for the Perron method for degenerate equations of divergence type, Preprint, 2020

Bj¨orn, A., Bj ¨orn, J. and Mwasa, A., Resolutivity and invariance for the Perron method for degenerate equations of divergence type, Preprint, 2020. arXiv:2008.00883 3, 12, 13, 14

work page arXiv 2020

[3] [3]

Bj¨orn, J., Regularity at inﬁnity for a mixed problem for degenerate elliptic operators in a half-cylinder, Math. Scand. 81 (1997), 101–126. 3, 6

work page 1997

[4] [4]

and Mwasa, A., Mixed boundary value problem for p-harmonic functions in an inﬁnite cylinder, Nonlinear Anal

Bj¨orn, J. and Mwasa, A., Mixed boundary value problem for p-harmonic functions in an inﬁnite cylinder, Nonlinear Anal. 202 (2021), 112134. 3, 6, 7, 9, 10, 12, 13, 14, 15, 16, 17

work page 2021

[5] [5]

and Nazarov, A

Cao, D., Ibragimov, A. and Nazarov, A. I., Mixed boundary value prob- lems for non-divergence type elliptic equations in unbounded domains , Asymp- tot. Anal. 109 (2018), 75–90. 3

work page 2018

[6] [6]

Chipot, M., On some elliptic problems in unbounded domains, Chin. Ann. Math. Ser. B 39 (2018), 597–606. 3

work page 2018

[7] [7]

and Zube, S., On the asymptotic behaviour of the pure Neumann problem in cylinder-like domains and its applications, Asymptot

Chipot, M. and Zube, S., On the asymptotic behaviour of the pure Neumann problem in cylinder-like domains and its applications, Asymptot. Anal. 108 (2018), 163–185. 3

work page 2018

[8] [8]

and Gladiali, F., Some nonexistence results for positive solutions of elliptic equations in unbounded domains, Rev

Damascelli, L. and Gladiali, F., Some nonexistence results for positive solutions of elliptic equations in unbounded domains, Rev. Mat. Iberoam. 20 (2004), 67–86. 3 20 Jana Bj¨ orn and Abubakar Mwasa

work page 2004