arXiv Science⌕ Search

arXiv subjects

Jehan Oh

Publications and source records attributed to Jehan Oh.

At least 19 recordsLinked to original sources
arXiv2026

Regular specular differentiation in Euclidean spaces

We study the regular specular derivative, a generalized derivative defined at every point where both one-sided derivatives exist and are finite. Geometrically, it is the slope of the mirror that reflects the left tangent ray into the right one. In one variable we derive computational formulas, prove inverse function and rotation rules, establish Quasi-Rolle's Theorem and the Quasi-Mean Value Theorem, and obtain a derivative-limit theorem, which shows that twice regularly specularly differentiable functions are continuously differentiable. We also prove both parts of the Fundamental Theorem of Calculus. In several variables we introduce specular gradients, directional derivatives, tangent hyperplanes, and normal vectors, show that a continuous specular gradient forces classical differentiability, and characterize when the specular tangent hyperplane is unique.

math.CA↗
arXiv2026

Absence of the Lavrentiev phenomenon for a general class of parabolic double phase problems

In this paper, we prove the absence of the Lavrentiev phenomenon for a general class of parabolic double phase functionals with Orlicz growth. The energy density is given by $$ G(|Dw|)+a(x,t)H(|Dw|), $$ where $G$ and $H$ are Young functions satisfying the $Δ_2$ and $\nabla_2$ conditions with $G\prec H$, and $a(\cdot)$ is a continuous nonnegative coefficient. Under suitable balance conditions between the growth gap of $G$ and $H$ and the modulus of continuity of $a(\cdot)$, we show that every finite-energy map can be approximated locally by smooth functions without loss of energy. The result extends the known parabolic double phase theory from power type growth to a broad Young function framework and identifies the natural space-time Orlicz energy class for the problem.

math.AP↗
arXiv2026

Optimal $C^{1,α}$ regularity up to the boundary for fully nonlinear elliptic equations with double phase degeneracy

In this paper we establish optimal $C^{1,α}$ regularity up to the boundary for viscosity solutions of fully nonlinear elliptic equations with double phase degeneracy law and oblique boundary conditions. The approach developed here relies on first deriving uniform boundary Hölder estimates for perturbed models with oblique boundary data in ``almost $C^{1}$-flat'' domains. Building upon these estimates, the desired regularity is obtained through a compactness and stability framework for viscosity solutions. As a byproduct of our analysis, we determine the optimal Hölder exponent for solutions when the governing operator is quasiconvex or quasiconcave. In addition, we establish an improved regularity result along vanishing points of the source term.

math.AP↗
arXiv2026

Gradient estimates for generalized double phase problems with two modulating coefficients

We establish Calderón-Zygmund estimates for solutions to non-uniformly elliptic equations in divergence form modeled on the generalized double phase structure $$Ψ(x,z)=a(x)G(|z|)+b(x)H(|z|),$$ where $G$ and $H$ are Young functions and $a,b$ are non-negative, Hölder continuous coefficients satisfying a natural non-degeneracy condition $a(\cdot)+b(\cdot)\geμ>0$. Under natural assumptions on $G,H$ and the Hölder regularity of $a,b$, we prove that the gradient of any local solution inherits the same integrability as the datum. More precisely, if $Ψ(\cdot,F)\in L^Θ_{\mathrm{loc}}$, then $Ψ(\cdot,Du)\in L^Θ_{\mathrm{loc}}$ for every $Θ\in\mathcal{N}$. Our results extend those of Baasandorj-Byun-Oh (\emph{J. Funct. Anal.} \textbf{279}(7), 2020) from the classical generalized double phase structure $G+a(x)H$ to the two modulating coefficient setting and extend the gradient estimates of Kim-Kim-Oh (\emph{Nonlinear Differ. Equ. Appl.} \textbf{33}, 2026) by establishing Calderón-Zygmund estimates for generalized double phase functionals in a borderline case within the two modulating coefficient framework.

math.AP↗
arXiv2026

Gradient higher integrability for degenerate parabolic double phase systems with two modulating coefficients

We establish an interior gradient higher integrability result for weak solutions to degenerate parabolic double phase systems involving two modulating coefficients. To be more precise, we study systems of the form \[ u_t-\operatorname{div} \left(a(z)|Du|^{p-2}Du+ b(z)|Du|^{q-2}Du\right)=-\operatorname{div} \left(a(z)|F|^{p-2}F+ b(z)|F|^{q-2}F\right), \] where $2\leq p\leq q < \infty$ and the modulating coefficients $a(z)$ and $b(z)$ are non-negative, with $a(z)$ being uniformly continuous and $b(z)$ being Hölder continuous. We further assume that the sum of two modulating coefficients is bounded from below by some positive constant. To establish the gradient higher integrability result, we introduce a suitable intrinsic geometry and develop a delicate comparison scheme to separate and analyze the different phases--namely, the $p$-phase, $q$-phase and $(p,q)$-phase. To the best of our knowledge, this is the first regularity result in the parabolic setting that addresses general double phase systems within the framework of weak solutions.

math.AP↗
arXiv2026

Local boundedness for solutions to degenerate parabolic double phase problems

In this paper, we investigate the local boundedness of weak solutions to degenerate parabolic double phase equation of type $$ u_t-\textrm{div}(|Du|^{p-2}Du+a(x,t)|Du|^{q-2}Du)=0\quad \text{in } Ω_T := Ω\times (0,T), $$ where $0\leq a(\cdot)\in L^\infty(Ω_T)$. To this end, we derive the Caccioppoli inequality and a parabolic embedding theorem, which are then utilized in an iteration method.

math.AP↗
arXiv2026

Interpolative Refinement of Gap Bound Conditions for Singular Parabolic Double Phase Problems

We consider inhomogeneous singular parabolic double phase equations of type $$ u_t-\operatorname{div}(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du)=-\operatorname{div} (|F|^{p-2}F + a(x,t)|F|^{q-2}F) $$ in $Ω_T := Ω\times (0,T)\subset \mathbb{R}^n\times \mathbb{R}$, where $\frac{2n}{n+2}<p\leq 2$, $p<q$ and $0\leq a(\cdot)\in C^{α,\fracα{2}}(Ω_T)$. We establish gradient higher integrability results for weak solutions to the above problems under one of the following two assumptions: $$ u\in L^\infty (Ω_T) \quad\text{and}\quad q\leq p +\frac{α(p(n+2)-2n)}{4}, $$ or $$ u\in C(0,T;L^s(Ω)),\quad s\geq 2 \quad\text{and}\quad q\leq p+\frac{αμ_s}{n+s}, $$ where $μ_s := \frac{(p(n+2)-2n)s}{4}$. These results yield an interpolation refinement of gap bounds in the singular parabolic double phase setting.

math.AP↗
arXiv2026

Bounded solutions and interpolative gap bounds for degenerate parabolic double phase problems

We establish gradient higher integrability results for weak solutions to degenerate parabolic equations of double phase type $$ u_t-\operatorname{div} \left(|Du|^{p-2}Du + a(x,t)|Du|^{q-2}Du\right)=0 $$ in $Ω_T := Ω\times (0,T)$, where $a(\cdot)\in C^{α,\fracα{2}}(Ω_T)$. For bounded solutions, we prove that the result holds under the gap condition $$ q \leq p + α. $$ Moreover, for solutions with $$ u\in C(0,T;L^s(Ω)), \quad s \geq 2, $$ we obtain higher integrability under the gap condition $$ q \leq p + \frac{sα}{n+s}. $$ These results provide an interpolation between the gap bounds in the parabolic double phase setting.

math.AP↗
arXiv2026

Absence of the Lavrentiev phenomenon for degenerate parabolic double phase problems

We establish the absence of the Lavrentiev phenomenon for degenerate parabolic double phase problems. Any finite-energy function in the natural parabolic class admits smooth approximations with convergence in the parabolic Sobolev space and convergence of the corresponding energy. We provide explicit gap bound conditions and derive improved bounds under additional assumptions such as boundedness or stronger time regularity.

math.AP↗
arXiv2025

Parabolic Lipschitz truncation for multi-phase problems: the degenerate case

This article is devoted to exploring the Lipschitz truncation method for parabolic multi-phase problems. The method is based on Whitney decomposition and covering lemmas with a delicate comparison scheme of appropriate alternatives to distinguish phases, as introduced by the first and the second author in [24].

math.AP↗
arXiv2024

Interior $W^{2,δ}$ type estimates for degenerate fully nonlinear elliptic equations with $L^n$ data

We establish interior $W^{2,δ}$ type estimates for a class of degenerate fully nonlinear elliptic equations with $L^n$ data. The main idea of our approach is to slide $C^{1,α}$ cones, instead of paraboloids, vertically to touch the solution, and estimate the contact set in terms of the measure of the vertex set. This shows that the solution has tangent $C^{1,α}$ cones almost everywhere, which leads to the desired Hessian estimates. Accordingly, we are able to develop a kind of counterpart to the estimates for divergent structure quasilinear elliptic problems.

math.AP↗
arXiv2024

$C^{1,α}$ regularity for degenerate fully nonlinear elliptic equations with oblique boundary conditions on $C^1$ domains

We provide a sharp $C^{1,α}$ estimate up to the boundary for a viscosity solution of a degenerate fully nonlinear elliptic equation with the oblique boundary condition on a $C^1$ domain. To this end, we first obtain a uniform boundary H{ö}lder estimate with the oblique boundary condition in an "almost $C^1$-flat" domain for the equations which is uniformly elliptic only where the gradient is far from some point, and then we establish a desired $C^{1,α}$ regularity based on perturbation and compactness arguments.

math.AP↗
arXiv2022

The wave equation with specular derivatives

In this paper, we construct the transport equation and the wave equation with specular derivatives and solve these equations in one-dimension. To solve these equations, we introduce new function spaces, which we term specular spaces, consisting of certain specularly differentiable functions.

math.AP↗
arXiv2018

Regularity for multi-phase variational problems

We prove $C^{1,ν}$ regularity for local minimizers of the \oh{multi-phase} energy: \begin{flalign*} w \mapsto \int_Ω\snr{Dw}^{p}+a(x)\snr{Dw}^{q}+b(x)\snr{Dw}^{s} \ dx, \end{flalign*} under sharp assumptions relating the couples $(p,q)$ and $(p,s)$ to the Hölder exponents of the modulating coefficients $a(\cdot)$ and $b(\cdot)$, respectively.

math.AP↗
arXiv2018

Interior and boundary higher integrability of very weak solutions for quasilinear parabolic equations with variable exponents

We prove boundary higher integrability for the (spatial) gradient of \emph{very weak} solutions of quasilinear parabolic equations of the form $$ \left\{ \begin{array}{ll} u_t - div \mathcal{A}(x,t,\nabla u) = 0 &\quad \text{on} \ Ω\times (-T,T), \\ u = 0 &\quad \text{on} \ \partial Ω\times (-T,T), \end{array} \right. $$ where the non-linear structure $\mathcal{A}(x, t,\nabla u)$ is modelled after the variable exponent $p(x,t)$-Laplace operator given by $|\nabla u|^{p(x,t)-2} \nabla u$. To this end, we prove that the gradients satisfy a reverse Hölder inequality near the boundary by constructing a suitable test function which is Lipschitz continuous and preserves the boundary values. In the interior case, such a result was proved in \cite{bogelein2014very} provided $p(x,t) \geq \mathfrak{p}^- \geq 2$ holds and was then extended to the singular case $\frac{2n}{n+2}< \mathfrak{p}^-\leq p(x,t)\leq \mathfrak{p}^+ \leq 2$ in \cite{li2017very}. This restriction was necessary because the intrinsic scalings for quasilinear parabolic problems are different in the case $\mathfrak{p}^+ \leq 2$ and $\mathfrak{p}^-\geq 2$. In this paper, we develop a new unified intrinsic scaling, using which, we are able to extend the results of \cite{bogelein2014very,li2017very} to the full range $\frac{2n}{n+2} < \mathfrak{p}^- \leq p(x,t)\leq \mathfrak{p}^+<\infty$ and also obtain analogous results upto the boundary. \emph{The main novelty of this paper is that our methods are able to handle both the singular case and degenerate case simultaneously.} To simplify the exposition, we will only prove the higher integrability result near the boundary, provided the domain $Ω$ satisfies a uniform measure density condition. Our techniques are also applicable to higher order equations as well as systems.

math.AP↗