SearcharxivSearch

arXiv subjects

Jehan Oh

Publications and source records attributed to Jehan Oh.

At least 19 recordsLinked to original sources

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 $\Delta_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

Gradient estimates for generalized double phase problems with two modulating coefficients

We establish Calder\'on-Zygmund estimates for solutions to non-uniformly elliptic equations in divergence form modeled on the generalized double phase structure $$\Psi(x,z)=a(x)G(|z|)+b(x)H(|z|),$$ where $G$ and $H$ are Young functions and $a,b$ are non-negative, H\"older continuous coefficients satisfying a natural non-degeneracy condition $a(\cdot)+b(\cdot)\ge\mu>0$. Under natural assumptions on $G,H$ and the H\"older regularity of $a,b$, we prove that the gradient of any local solution inherits the same integrability as the datum. More precisely, if $\Psi(\cdot,F)\in L^\Theta_{\mathrm{loc}}$, then $\Psi(\cdot,Du)\in L^\Theta_{\mathrm{loc}}$ for every $\Theta\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\'on-Zygmund estimates for generalized double phase functionals in a borderline case within the two modulating coefficient framework.

math.AP

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 } \Omega_T := \Omega\times (0,T), $$ where $0\leq a(\cdot)\in L^\infty(\Omega_T)$. To this end, we derive the Caccioppoli inequality and a parabolic embedding theorem, which are then utilized in an iteration method.

math.AP

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

In this paper we establish optimal $C^{1,\alpha}$ 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\"older 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\"older 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

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

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 $\Omega_T := \Omega \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^{\alpha,\frac{\alpha}{2}}(\Omega_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 (\Omega_T) \quad\text{and}\quad q\leq p +\frac{\alpha(p(n+2)-2n)}{4}, $$ or $$ u\in C(0,T;L^s(\Omega)),\quad s\geq 2 \quad\text{and}\quad q\leq p+\frac{\alpha \mu_s}{n+s}, $$ where $\mu_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

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 $\Omega_T := \Omega\times (0,T)$, where $a(\cdot)\in C^{\alpha,\frac{\alpha}{2}}(\Omega_T)$. For bounded solutions, we prove that the result holds under the gap condition $$ q \leq p + \alpha. $$ Moreover, for solutions with $$ u\in C(0,T;L^s(\Omega)), \quad s \geq 2, $$ we obtain higher integrability under the gap condition $$ q \leq p + \frac{s\alpha}{n+s}. $$ These results provide an interpolation between the gap bounds in the parabolic double phase setting.

math.AP

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\"{o}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

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

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

We establish interior $W^{2,\delta}$ 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,\alpha}$ 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,\alpha}$ 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

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

We provide a sharp $C^{1,\alpha}$ 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{\"o}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,\alpha}$ regularity based on perturbation and compactness arguments.

math.AP

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

The Specular Derivative

In this paper, we introduce a new generalized derivative, which we term the specular derivative. We establish the Quasi-Rolles' Theorem, the Quasi-Mean Value Theorem, and the Fundamental Theorem of Calculus in light of the specular derivative. We also investigate various analytic and geometric properties of specular derivatives and apply these properties to several differential equations.

math.CA

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

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