Pith. sign in

REVIEW 1 major objections 1 minor 37 references

Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems

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

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Fully nonlinear parabolic obstacle problems have unique solutions in W^{1,2,p} when the obstacle is a supremum of W^{1,2,p} functions.

desk verdict New W^{1,2,p} estimates for finite-max obstacles, extended to general suprema including convex ones, under measurable operators; the limit step is the part to verify. read the letter →

arxiv 2404.01498 v3 submitted 2024-04-01 math.AP econ.THmath.OC

Théo Durandard , Bruno Strulovici This is my paper
classification math.APecon.THmath.OC
keywords parabolicobstacleproblemsfullynonlinearoperatorsW^{12p}regularityoptimalstoppingconvexobstacles
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 shows that existence, uniqueness, and W^{1,2,p} regularity hold for solutions to fully nonlinear parabolic obstacle problems provided the obstacle is the pointwise supremum of functions in W^{1,2,p} and the operator is only measurable in state and time. This covers all convex obstacles as a special case. The result implies that in optimal stopping problems, a decision maker will not stop at a convex kink in the payoff. The key step is proving new estimates for obstacles that are maxima of finitely many W^{1,2,p} functions, then extending to general suprema.

What carries the argument

New W^{1,2,p}-estimates for parabolic obstacle problems with the obstacle being the maximum of finitely many W^{1,2,p} functions, extended to pointwise suprema.

What would settle it

Construct an obstacle that is not the supremum of any W^{1,2,p} functions but for which a solution to the obstacle problem fails to exist or lacks W^{1,2,p} regularity.

Watch

Extended reading notes

Core claim

We establish the existence, uniqueness, and W^{1,2,p}-regularity of solutions to fully-nonlinear, parabolic obstacle problems when the obstacle is the pointwise supremum of functions in W^{1,2,p} and the nonlinear operator is required only to be measurable in the state and time variables. In particular, the results hold for all convex obstacles. Applied to stopping problems, they provide general conditions under which a decision maker never stops at a convex kink of the stopping payoff. The proof relies on new W^{1,2,p}-estimates for obstacle problems when the obstacle is the maximum of finitely many functions in W^{1,2,p}.

Load-bearing premise

The obstacle must be expressible as the pointwise supremum of functions belonging to W^{1,2,p}.

Editorial extensions

If this is right

  • Solutions exist and are unique for the described class of obstacle problems.
  • The solutions belong to the Sobolev space W^{1,2,p}.
  • Convex obstacles always yield solutions with the stated regularity.
  • In stopping problems, optimal stopping does not occur at convex kinks of the payoff.

Reading between the lines

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

  • This approach could extend to other types of obstacle problems in different dimensions or with different operators.
  • Decision makers in economic models with convex payoffs can rely on smooth behavior away from kinks.
  • Future work might relax the measurability condition further or consider time-dependent obstacles.
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.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to prove existence, uniqueness, and W^{1,2,p}-regularity for solutions to fully nonlinear parabolic obstacle problems when the obstacle is the pointwise supremum of W^{1,2,p} functions and the operator is merely measurable in the state and time variables. In particular the results apply to all convex obstacles. The argument first derives new W^{1,2,p} estimates for obstacles that are maxima of finitely many W^{1,2,p} functions and then extends the estimates to the general-supremum case.

Significance. If the estimates and the extension step are valid, the work supplies regularity results for obstacle problems under weaker assumptions on both the obstacle and the operator than are currently standard, with direct consequences for optimal stopping problems.

major comments (1)
  1. [the extension argument following the finite-maxima estimates] The W^{1,2,p} estimates are obtained only for obstacles equal to the maximum of finitely many W^{1,2,p} functions; the passage to an arbitrary pointwise supremum (including all convex obstacles) requires that the approximating sequence of finite-max obstacles produces solutions whose W^{1,2,p} norms remain uniformly controlled, or that the limit can be taken inside the estimates without loss of integrability. The manuscript must supply a detailed justification of this uniform-control or passage-to-the-limit step, as it is load-bearing for the central regularity claim.
minor comments (1)
  1. It would be helpful to state the precise form of the new W^{1,2,p} estimates (including the dependence on the data) already in the introduction, rather than only in the abstract.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. Below we address the single major comment point by point. We agree that the extension step requires explicit justification and will strengthen the presentation in revision.

read point-by-point responses

  1. Referee: [the extension argument following the finite-maxima estimates] The W^{1,2,p} estimates are obtained only for obstacles equal to the maximum of finitely many W^{1,2,p} functions; the passage to an arbitrary pointwise supremum (including all convex obstacles) requires that the approximating sequence of finite-max obstacles produces solutions whose W^{1,2,p} norms remain uniformly controlled, or that the limit can be taken inside the estimates without loss of integrability. The manuscript must supply a detailed justification of this uniform-control or passage-to-the-limit step, as it is load-bearing for the central regularity claim.

    Authors: We agree this step is load-bearing and thank the referee for requiring a clearer exposition. The argument appears in the proof of Theorem 1.3 (Section 4.3): the finite-max obstacles increase monotonically to the given supremum obstacle, the associated solutions are monotone by the comparison principle for the obstacle problem, and each approximant satisfies the same W^{1,2,p} bound because the right-hand side and the obstacle are dominated by data independent of the number of maxima. The passage to the limit then follows from weak compactness in W^{1,2,p} together with the fact that the limit satisfies the variational inequality for the supremum obstacle. Nevertheless, the current write-up is terse on the uniform integrability step. In the revision we will insert a dedicated paragraph (new Lemma 4.8) that verifies the uniform bound explicitly via the maximum principle and applies Fatou’s lemma to pass to the limit inside the integrals, thereby making the argument self-contained. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; direct existence-uniqueness-regularity proof with standard approximation step.

full rationale

The paper establishes existence, uniqueness, and W^{1,2,p}-regularity via a direct proof that first derives new estimates for finite-max obstacles and then extends to pointwise suprema. This extension is a standard limiting argument in PDE theory and does not reduce any claimed result to its own inputs by definition, fitting, or self-citation chain. No equations or steps are shown to be equivalent by construction, and the central claims rest on independent analytic estimates rather than renamed inputs or load-bearing self-references. The derivation is self-contained.

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

The result rests on standard functional-analytic properties of Sobolev spaces W^{1,2,p} and on the existence theory for linear or quasilinear parabolic equations; no free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

assumptions (1)
  • standard math Standard embedding and approximation properties of the Sobolev space W^{1,2,p} hold for the given range of p.
    Invoked implicitly when the obstacle is taken in W^{1,2,p} and regularity is claimed in the same space.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems." pith.science (2026). https://pith.science/paper/2404.01498

@misc{pith2026240401498,
  author       = {Pith},
  title        = {Pith review of: Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2404.01498}},
  note         = {Machine review of arXiv:2404.01498}
}
abstract

We establish the existence, uniqueness, and $W^{1,2,p}$-regularity of solutions to fully-nonlinear, parabolic obstacle problems when the obstacle is the pointwise supremum of functions in $W^{1,2,p}$ and the nonlinear operator is required only to be measurable in the state and time variables. In particular, the results hold for all convex obstacles. Applied to stopping problems, they provide general conditions under which a decision maker never stops at a convex kink of the stopping payoff. The proof relies on new $W^{1,2,p}$-estimates for obstacle problems when the obstacle is the maximum of finitely many functions in $W^{1,2,p}$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    and Kukuljan, T

    Audrito, A. and Kukuljan, T. (2023). Regularity theory for fully nonlinear parabolic obstacle problems. Journal of Functional Analysis , 285(10):110116

    work page 2023

  2. [2]

    and Lions, J

    Bensoussan, A. and Lions, J. L. (1978). Applications des inéquations variationnelles en contrôle stochastique . Méthodes mathématiques de l'informatique. Dunod

    work page 1978

  3. [3]

    Byun, S.-S., Han, J., and Oh, J. (2022). On W^ 2, p -estimates for solutions of obstacle problems for fully nonlinear elliptic equations with oblique boundary conditions. Calculus of Variations and Partial Differential Equations , 61(5):162

    work page 2022

  4. [4]

    Byun, S.-S., Lee, K.-A., Oh, J., and Park, J. (2018). Nondivergence elliptic and parabolic problems with irregular obstacles. Mathematische Zeitschrift , 290(3-4):973--990

    work page 2018

  5. [5]

    Caffarelli, L., Crandall, M., Kocan, M., and \'S wi e ch, A. (1996). ``On viscosity solutions of fully nonlinear equations with measurable ingredients'' . Communications on Pure and Applied Mathematics , 49:365--398

    work page 1996

  6. [6]

    Caffarelli, L. A. (1989). Interior a priori estimates for solutions of fully non-linear equations. Annals of Mathematics , 130(1):189--213

    work page 1989

  7. [7]

    and Durandard, T

    Camboni, M. and Durandard, T. (2024). Under pressure: Comparative statics for optimal stopping problems in non-stationary environment. Working Paper

    work page 2024

  8. [8]

    Crandall, M., Fok, K., Kocan, M., and \'S wi e ch, A. (1998). ``Remarks on nonlinear uniformly parabolic equations'' . Indiana University mathematics journal , pages 1293--1326

    work page 1998

Show all 37 references
  1. [9]

    Crandall, M., Kocan, M., Lions, P.-L., and \'S wi e ch, A. (1999). ``Existence results for boundary problems for uniformly elliptic and parabolic fully nonlinear equations'' . Electron. J. Differential Equations

    1999

  2. [10]

    G., Kocan, M., and \'S wi e ch, A

    Crandall, M. G., Kocan, M., and \'S wi e ch, A. (2000). `` L^p -theory for fully nonlinear uniformly parabolic equations: Parabolic equations'' . Communications in Partial Differential Equations , 25:1997--2053

    2000

  3. [11]

    D \'e camps, J.-P., Mariotti, T., and Villeneuve, S. (2006). Irreversible investment in alternative projects. Economic Theory , 28:425--448

    2006

  4. [12]

    Demengel, F., Demengel, G., and Ern \'e , R. (2012). Functional spaces for the theory of elliptic partial differential equations . Springer

    2012

  5. [13]

    Dixit, A. K. (1993). The art of smooth pasting , volume 55. Taylor & Francis

    1993

  6. [14]

    Doktor, P. (1976). ``Approximation of domains with Lipschitzian boundary'' . C asopis pro p e stov \'a ni matematiky , 101:237--255

    1976

  7. [15]

    Dong, H. (2020). Recent progress in the L^p theory for elliptic and parabolic equations with discontinuous coefficients. arXiv preprint arXiv:2006.03966

    2020

  8. [16]

    Dong, H., Krylov, N., and Li, X. (2013). ``On fully nonlinear elliptic and parabolic equations with VMO coefficients in domains'' . St. Petersburg Mathematical Journal , 24:39--69

    2013

  9. [17]

    Escauriaza, L. (1993). W^ 2,n a priori estimates for solutions to fully non-linear equations . Indiana University mathematics journal , pages 413--423

    1993

  10. [18]

    Evans, L. (2018). Measure theory and fine properties of functions . Routledge

    2018

  11. [19]

    Friedman, A. (1982). Variational Principles and Free-Boundary Problems . John Wiley & Sons

    1982

  12. [20]

    Fudenberg, D., Strack, P., and Strzalecki, T. (2018). Speed, accuracy, and the optimal timing of choices. American Economic Review , 108(12):3651--3684

    2018

  13. [21]

    Giga, Y., Goto, S., Ishii, H., and Sato, M.-H. (1991). ``Comparison principle and convexity preserving properties for singular degenerate parabolic equations on unbounded domains'' . Indiana University Mathematics Journal , pages 443--470

    1991

  14. [22]

    Grisvard, P. (2011). Elliptic problems in nonsmooth domains . SIAM

    2011

  15. [23]

    and Sudderth, W

    Karatzas, I. and Sudderth, W. D. (2001). The controller-and-stopper game for a linear diffusion. Annals of Probability , pages 1111--1127

    2001

  16. [24]

    Krylov, N. (2017). On the existence of W ^ 1, 2 _p solutions for fully nonlinear parabolic equations under either relaxed or no convexity assumptions. arXiv preprint arXiv:1705.02400

    2017 arXiv

  17. [25]

    Krylov, N. (2018). Sobolev and viscosity solutions for fully nonlinear elliptic and parabolic equations . American Mathematical Soc

    2018

  18. [26]

    Krylov, N. V. (2010). On Bellman's Equations with VMO Coefficients . Methods and Applications of Analysis , 17(1):105--122

    2010

  19. [27]

    and Lipnowski, E

    Kuvalekar, A. and Lipnowski, E. (2020). Job insecurity. American Economic Journal: Microeconomics , 12(2):188--229

    2020

  20. [28]

    Lady z enskaja, O., Solonnikov, V., and Uraltseva, N. (1968). Linear and quasi-linear equations of Parabolic type , volume 23. Translations of Mathematical Monographs

    1968

  21. [29]

    Meyers, N. G. (1963). An L^ p -estimate for the gradient of solutions of second order elliptic divergence equations. Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche , 17(3):189--206

    1963

  22. [30]

    and Shiryaev, A

    Peskir, G. and Shiryaev, A. (2006). ``Optimal stopping and free-boundary problems'' . Springer

    2006

  23. [31]

    and Shahgholian, H

    Petrosyan, A. and Shahgholian, H. (2007). Parabolic obstacle problems applied to finance. Recent developments in nonlinear partial differential equations , 439:117--133

    2007

  24. [32]

    Petrosyan, A., Shahgholian, H., and Ural'tseva N. (2012). Regularity of free boundaries in obstacle-type problems , volume 136. American Mathematical Soc

    2012

  25. [33]

    Rudin, W. (1973). Functional analysis . McGraw-Hill, New York

    1973

  26. [34]

    and Szydlowski, M

    Strulovici, B. and Szydlowski, M. (2015). ``On the smoothness of value functions and the existence of optimal strategies in diffusion models'' . Journal of Economic Theory , 159:1016--1055

    2015

  27. [35]

    Ural’ceva, N. (1967). The impossibility of W^q_2 estimates for multidimensional elliptic equations with discontinuous coefficients . Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov.(LOMI) , 5:250--254

    1967

  28. [36]

    Wald, A. (1992). Sequential tests of statistical hypotheses. In Breakthroughs in statistics: Foundations and basic theory , pages 256--298. Springer

    1992

  29. [37]

    Winter, N. (2009). ``W ^ 2,p -and W ^ 1,p -estimates at the boundary for solutions of fully nonlinear, uniformly elliptic equations''. Zeitschrift f \"u r Analysis und ihre Anwendungen , 28:129--164

    2009

Pith tools

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