BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Ki-Ahm Lee contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study the boundary continuity of solutions to fully nonlinear elliptic equations. We first define a capacity for operators in non-divergence form and derive several capacitary estimates. Secondly, we formulate the Wiener criterion, which characterizes a regular boundary point via potential theory. Our approach utilizes the asymptotic behavior of homogeneous solutions, together with Harnack inequality and the comparison principle.
We establish the Krylov Safonov Harnack inequalities and Holder estimates for fully nonlinear nonlocal operators of non-divergence form on Riemannian manifolds with nonnegative sectional curvatures. To this end, we first define the nonlocal Pucci operators on manifolds that give rise to the concept of non-divergence form operators. We then provide the uniform regularity results for these operators which recover the classical results for second order local operators as limits.
In this paper, we consider the solution $\bold{u}=\left(u^1,\cdots,u^k\right)$ of the generalized parabolic system \begin{equation*} \left(u^i\right)_t=\nabla\cdot\left(mU^{m-1}\mathcal{A}\left(\nabla u^i,u^i,x,t\right)+\mathcal{B}\left(u^i,x,t\right)\right), \qquad \left(1\leq i\leq k\right) \end{equation*} in the range of exponents $m>\frac{n-2}{n}$ where the diffusion coefficient $U$ depends on the components of the solution $\bold{u}$. Under suitable structure conditions on the vector fields $\mathcal{A}$ and $\mathcal{B}$, we first show the uniform $L^{\infty}$ bound of the function $U$ for $t\geq τ>0$ and law of $L^1$ mass conservation of each component $u^i$, $(i=1,\cdots,k)$, with system version of Harnack type inequality. As the last result, we also deal with the local continuity of solution $\bold{u}=\left(u^1,\cdots,u^k\right)$ with the intrinsic scaling. If the ratio between $U$ and components $u^i$, $(i=1,\cdots,k)$, is uniformly bounded above and below, all components of the solution $\bold{u}$ have the same modulus of continuity.
In this paper, we study the mathematical properties of the solution $\bold{u}=\left(u^1,\cdots,u^k\right)$ to the degenerate parabolic system \begin{equation*} \bold{u}_t=\nabla\cdot\left(\left|\nabla\bold{u}\right|^{p-2}\nabla \bold{u}\right), \qquad \qquad \left(p>2\right). \end{equation*} More precisely, we show the uniqueness and existence of solution $\bold{u}$ and investigate a priori $L^{\infty}$ boundedness of the gradient of the solution. Assuming that the solution decays quickly at infinity, we also prove that the component $u^l$, $\left(1\leq l\leq k\right)$, converges to the function $c^l\mathcal{B}$ in space as $t\to\infty$. Here, the function $\mathcal{B}$ is the fundamental or Barenblatt solution of $p$-Laplacian equation and the constant $c^l$ is determined by the $L^1$-mass of $u^l$. The proof is based on the existence of entropy functional.\\ \indent As an application of the asymptotic large time behaviour, we establish a Harnack type inequality which makes the size of spatial average being controlled by the value of solution at one point.
We establish the generalized Evans--Krylov and Schauder type estimates for nonlocal fully nonlinear elliptic equations with rough kernels of variable orders. In contrast to the fractional Laplacian type operators having a fixed order of differentiability $σ\in (0,2)$, the operators under consideration have variable orders of differentiability. Since the order is not characterized by a single number, we consider a function $φ$ describing the variable orders of differentiability, which is allowed to oscillate between two functions $r^{σ_1}$ and $r^{σ_2}$ for some $0 < σ_1 \leq σ_2 < 2$. By introducing the generalized Hölder spaces, we provide $C^{φψ}$ estimates that generalizes the standard Evans--Krylov and Schauder type $C^{σ+α}$ estimates.
We consider the following eigenvalue optimization in the composite membrane problem with fractional Laplacian: given a bounded domain $Ω\subset \mathbb{R}^n$, $α>0$ and $0<A<|Ω|$, find a subset $D\subset Ω$ of area $A$ such that the first Dirichlet eigenvalue of the operator $(-Δ)^s+αχ_D$ is as small as possible. The solution $D$ is called as an optimal configuration for the data $(Ω,α,A)$. Looking at the well-known extension definition for the fractional Laplacian, in the case $s=1/2$ this is essentially the composite membrane problem for which the mass is concentrated at the boundary as one is trying to maximize the Steklov eigenvalue. We prove existence of solutions and study properties of optimal configuration $D$. This is a free boundary problem which could be formulated as a two-sided unstable obstacle problem. Moreover, we show that for some rotationally symmetric domains (thin annuli), the optimal configuration is not rotational symmetric, which implies the non-uniqueness of the optimal configuration $D$. On the other hand, we prove that for a convex domain $Ω$ having reflection symmetries, the optimal configuration possesses the same symmetries, which implies uniqueness of the optimal configuration $D$ in the ball case.