arXiv Science⌕ Search

arXiv · 2610.29253

Sharp asymptotics for a free boundary touching a degenerate boundary: the perpetual Heston put

Abstract

We study the exercise boundary of the perpetual American put in the Heston model near zero variance. There the pricing operator degenerates, and the exercise boundary, a free boundary in the stock--variance half-plane, touches the boundary of the half-plane. No Feller condition is imposed. The boundary is analytic at positive variance and extends as a regular $C^1$ curve tangent to the zero-variance axis. Its approach to the axis follows one of three laws, according to whether the Feller ratio $2κθ/σ^2$ is larger than, equal to, or smaller than one: a logarithmic correction to linear order, an exponential correction in the square root of the logarithm, or a fractional power. In the first two cases the leading coefficients are explicit and the tangent is not Hölder continuous at the axis. In the third case the exponent is selected by a possibly nonsymmetric stable operator on the axis, and the amplitude is finite and positive.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Takwon Kim, Junkee Jeon, Jehan Oh. 2026-10-21. Sharp asymptotics for a free boundary touching a degenerate boundary: the perpetual Heston put. https://arxiv.org/abs/2610.29253

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Convergence of iterated restricted mean values to harmonic functions

Let $Ω\subset\mathbb{R}^n$ be a bounded domain and let $δ$ be a continuous positive function on $Ω$ with $B(x,δ(x))\subseteqΩ$ for every $x\inΩ$. Let $σ(f)(x)$ denote the average of $f$ over the ball $B(x,δ(x))$. Restricted mean value theorems give conditions under which a fixed point of $σ$ must be harmonic. We study the dynamical counterpart of this question: the behavior of the iterates $σ^k(f)$. We show that for \emph{every} bounded domain and every bounded measurable $f$ that is continuous at the points of $\partialΩ$, the iterates $σ^k(f)$ converge locally uniformly in $Ω$ to the Perron--Wiener--Brelot solution of the Dirichlet problem with boundary values $f|_{\partialΩ}$, and that the convergence is uniform on $\overlineΩ$ for all continuous $f$ if and only if $Ω$ is regular for the Dirichlet problem. This contains and extends earlier results for $C^{2,α}$ domains with $C^{2,α}$ data and for strictly convex domains with continuous data. We also give explicit rates of convergence: an algebraic rate $O(1/k)$ on domains with a uniform exterior ball condition and a geometric rate on convex domains, when $δ$ is comparable to the distance to the boundary.

math.AP↗

On the regularity of entropy solutions to stochastic degenerate parabolic equations

We study the regularity of entropy solutions for quasilinear parabolic equations with anisotropic degeneracy and stochastic forcing. Building on previous works, we establish space-time regularity under a non-degeneracy condition that does not require an assumption on the derivative of the symbol of the corresponding kinetic equation, a restriction imposed in earlier studies. This allows us to obtain regularity results for certain equations not accounted for by prior theory, albeit with reduced regularity exponents. Our approach uses a kinetic formulation with two transport equations, one of second order and one of first order, leveraging a form of "parabolic regularity" inherent in these equations that was not utilized in previous studies.

math.AP↗

Exponential Decays of Steklov Eigenfunctions for the Magnetic Laplacian

Consider the Dirichlet-to-Neumann map $Λ_β$ associated with the Schrödinger operator $(D+β\A)^2$ with a magnetic potential in a bounded Lipschitz domain $Ω$, where $β>1$ is the field strength parameter. Assume that the magnetic field $\B=\nabla \times \A$ is of finite type. We show that if $β>β_0$, the ground state for $Λ_β$ decays exponentially away from a neighborhood of the subset of $\partialΩ$, on which $\B$ vanishes to the maximal order.

math.AP↗