Source author record

Kyeong-Hun Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

25works
4topics
4close collaborators

Published work

25 publications

preprint2022arXiv

A Sobolev space theory for the Stochastic Partial Differential Equations with space-time non-local operators

We deal with the Sobolev space theory for the stochastic partial differential equation (SPDE) driven by Wiener processes ∂tαu=(ϕ(Δ)u+f(u))+∂tβ∑k=1∞∫0tgk(u) dwsk,t>0,x∈Rd;   u(0,⋅)=u0 \partial_{t}^αu=\left( ϕ(Δ) u +f(u) \right) + \partial_t^β\sum_{k=1}^\infty \int_0^t g^k(u)\,dw_s^k, \quad t>0, x\in \mathbb{R}^d; \,\,\, u(0,\cdot)=u_0 as well as the SPDE driven by space-time white noise ∂tαu=ϕ(Δ)u+f(u)+∂tβ−1h(u)W˙,t>0,x∈Rd;u(0,⋅)=u0. \partial^α_{t}u=ϕ(Δ)u + f(u) + \partial^{β-1}_{t}h(u) \dot{W}, \quad t>0,x\in \mathbb{R}^d; \quad u(0,\cdot)=u_{0}. Here, α∈(0,1),β∈(−∞,α+1/2)α\in (0,1), β\in (-\infty, α+1/2), {wtk:k=1,2,⋯ }\{w_t^k : k=1,2,\cdots\} is a family of independent one-dimensional Wiener processes, and W˙\dot{W} is a space-time white noise defined on [0,∞)×Rd[0,\infty)\times \mathbb{R}^d. The time non-local operator ∂tγ\partial_{t}^γ denotes the Caputo fractional derivative if γ>0γ>0 and the Riemann-Liouville fractional integral if γ≤0γ\leq0. The the spatial non-local operator ϕ(Δ)ϕ(Δ) is a type of integro-differential operator whose symbol is −ϕ(∣ξ∣2)-ϕ(|ξ|^2), where ϕϕ is a Bernstein function satisfying \begin{equation*} κ_0\left(\frac{R}{r}\right)^{δ_{0}} \leq \frac{ϕ(R)}{ϕ(r)}, \qquad \forall\,\, 0<r<R<\infty \end{equation*} with some constants κ0>0κ_0>0 and δ0∈(0,1]δ_0\in (0,1]. We prove the uniqueness and existence results in Sobolev spaces, and obtain the maximal regularity results of solutions.

preprint2022arXiv

A Sobolev space theory for the time-fractional stochastic partial differential equations driven by Levy processes

We present an LpL_{p}-theory (p≥2p\geq 2) for time-fractional stochastic partial differential equations driven by Lévy processes of the type ∂tαu=∑i,j=1daijuxixj+f+∑k=1∞∂tβ∫0t(∑i=1dμikuxi+gk)dZsk \partial^α_{t}u=\sum_{i,j=1}^d a^{ij}u_{x^{i}x^{j}} +f+\sum_{k=1}^{\infty}\partial^β_{t}\int_{0}^{t} (\sum_{i=1}^dμ^{ik} u_{x^i} +g^k) dZ^k_{s} given with nonzero intial data. Here ∂tα\partial^α_t and ∂tβ\partial^β_t are the Caputo fractional derivatives, α∈(0,2),β∈(0,α+1/p)α\in (0,2), β\in (0,α+1/p), and {Ztk:k=1,2,⋯ }\{Z^k_t:k=1,2,\cdots\} is a sequence of independent Lévy processes. The coefficients are random functions depending on (t,x)(t,x). We prove the uniqueness and existence results in Sobolev spaces, and obtain the maximal regularity of the solution.

preprint2016arXiv

A counterexample to maximal LpL_p-regularity of the stochastic heat equation in polygons: the case p>4p>4

Let DD be a domain in RdR^d and uu be the solution to the stochastic heat equation du=Δudt+g dWt,t>0,x∈D, du=Δu dt+ g\,dW_t, \quad t>0, x\in D, with zero initial and boundary data. Here WtW_t is a one-dimensional Wiener process on a probability space ΩΩ. It has been proved (see below for references) that for any p≥2p\geq 2 the inequality ∥∇u∥Lp(Ω×[0,T]×D)≤c∥g∥Lp(Ω×[0,T]×D) \|\nabla u\|_{L_p(Ω\times [0,T]\times D)} \leq c \|g\|_{L_p(Ω\times [0,T]\times D)} holds if ∂D∈C1\partial D\in C^1. In this note we prove that if p>4p>4 then this inequality fails in any polygon in R2R^2 having an angle greater than or equal to pπ2(p−2)\frac{pπ}{2(p-2)}. We also show that a similar statement holds in higher dimensional polygons. The counterexample introduced here is based on personal communication with N.V. Krylov.

preprint2016arXiv

A Sobolev Space theory for stochastic partial differential equations with time-fractional derivatives

In this article we present an LpL_p-theory (p≥2p\geq 2) for the time-fractional quasi-linear stochastic partial differential equations (SPDEs) of type ∂tαu=L(ω,t,x)u+f(u)+∂tβ∑k=1∞∫0t(Λk(ω,t,x)u+gk(u))dwtk, \partial^α_tu=L(ω,t,x)u+f(u)+\partial^β_t \sum_{k=1}^{\infty}\int^t_0 ( Λ^k(ω,t,x)u+g^k(u))dw^k_t, where α∈(0,2)α\in (0,2), β<α+12β<α+\frac{1}{2}, and ∂tα\partial^α_t and ∂tβ\partial^β_t denote the Caputo derivative of order αα and ββ respectively. The processes wtkw^k_t, k∈N={1,2,⋯ }k\in \mathbb{N}=\{1,2,\cdots\}, are independent one-dimensional Wiener processes defined on a probability space ΩΩ, LL is a second order operator of either divergence or non-divergence type, and ΛkΛ^k are linear operators of order up to two. The coefficients of the equations depend on ω(∈Ω),t,xω(\in Ω), t,x and are allowed to be discontinuous. This class of SPDEs can be used to describe random effects on transport of particles in medium with thermal memory or particles subject to sticking and trapping.

preprint2015arXiv

An Lq(Lp)L_q(L_p)-theory for parabolic pseudo-differential equations: Calderón-Zygmund approach

In this paper we present a Calderón-Zygmund approach for a large class of parabolic equations with pseudo-differential operators A(t)\mathcal{A}(t) of arbitrary order γ∈(0,∞)γ\in(0,\infty). It is assumed that $\cA(t)$ is merely measurable with respect to the time variable. The unique solvability of the equation $$ \frac{\partial u}{\partial t}=\cA u-λu+f, \quad (t,x)\in \fR^{d+1} $$ and the $L_{q}(\fR,L_{p})$-estimate $$ \|u_{t}\|_{L_{q}(\fR,L_{p})}+\|(-Δ)^{γ/2}u\|_{L_{q}(\fR,L_{p})} +λ\|u\|_{L_{q}(\fR,L_{p})}\leq N\|f\|_{L_{q}(\fR,L_{p})} $$ are obtained for any λ>0λ> 0 and p,q∈(1,∞)p,q\in (1,\infty).

preprint2015arXiv

An Lq(Lp)L_q(L_p)-theory for the time fractional evolution equations with variable coefficients

We introduce an Lq(Lp)L_q(L_p)-theory for the quasi-linear fractional equations of the type ∂tαu(t,x)=aij(t,x)uxixj(t,x)+f(t,x,u),t>0, x∈Rd. \partial^α_t u(t,x)=a^{ij}(t,x)u_{x^i x^j}(t,x)+f(t,x,u), \quad t>0, \,x\in \mathbf{R}^d. Here, α∈(0,2)α\in (0,2), p,q>1p,q>1, and ∂tα\partial^α_t is the Caupto fractional derivative of order αα. Uniqueness, existence, and Lq(Lp)L_q(L_p)-estimates of solutions are obtained. The leading coefficients aij(t,x)a^{ij}(t,x) are assumed to be piecewise continuous in tt and uniformly continuous in xx. In particular aij(t,x)a^{ij}(t,x) are allowed to be discontinuous with respect to the time variable. Our approach is based on classical tools in PDE theories such as the Marcinkiewicz interpolation theorem, the Calderon-Zygmund theorem, and perturbation arguments.

preprint2015arXiv

Asymptotic behaviors of fundamental solution and its derivatives related to space-time fractional differential equations

Let p(t,x)p(t,x) be the fundamental solution to the problem ∂tαu=−(−Δ)βu,α∈(0,2), β∈(0,∞). \partial_{t}^αu=-(-Δ)^βu, \quad α\in (0,2), \, β\in (0,\infty). In this paper we provide the asymptotic behaviors and sharp upper bounds of p(t,x)p(t,x) and its space and time fractional derivatives Dxn(−Δx)γDtσItδp(t,x),∀  n∈Z+,  γ∈[0,β],  σ,δ∈[0,∞), D_{x}^{n}(-Δ_x)^γD_{t}^σI_{t}^δp(t,x), \quad \forall\,\, n\in\mathbb{Z}_{+}, \,\, γ\in[0,β],\,\, σ, δ\in[0,\infty), where DxnD_{x}^n is a partial derivative of order nn with respect to xx, (−Δx)γ(-Δ_x)^γ is a fractional Laplace operator and DtσD_{t}^σ and ItδI_{t}^δ are Riemann-Liouville fractional derivative and integral respectively.

preprint2014arXiv

An L_p-theory for a class of non-local elliptic equations related to nonsymmetric measurable kernels

We study the integro-differential operators LL with kernels K(y)=a(y)J(y)K(y) = a(y) J(y), where J(y)dyJ(y)dy is a Lévy measure on $\bR^d$ (i.e. $\int_{\bR^d}(1\wedge |y|^2)J(y)dy<\infty$) and a(y)a(y) is an only measurable function with positive lower and upper bounds. Under few additional conditions on J(y)J(y), we prove the unique solvability of the equation Lu−λu=fLu-λu=f in LpL_p-spaces and present some LpL_p-estimates of the solutions.

preprint2014arXiv

Parabolic BMO estimates for pseudo-differential operators of arbitrary order

In this article we prove the BMO-L∞L_{\infty} estimate ∥(−Δ)γ/2u∥BMO(Rd+1)≤N∥∂∂tu−A(t)u∥L∞(Rd+1),∀ u∈Cc∞(Rd+1) \|(-Δ)^{γ/2} u\|_{BMO(\mathbf{R}^{d+1})}\leq N \|\frac{\partial}{\partial t}u-A(t)u\|_{L_{\infty}(\mathbf{R}^{d+1})}, \quad \forall\, u\in C^{\infty}_c(\mathbf{R}^{d+1}) for a wide class of pseudo-differential operators A(t)A(t) of order γ∈(0,∞)γ\in (0,\infty). The coefficients of A(t)A(t) are assumed to be merely measurable in time variable. As an application to the equation ∂∂tu=A(t)u+f,t∈R \frac{\partial}{\partial t}u=A(t)u+f,\quad t\in \mathbf{R} we prove that for any u∈Cc∞(Rd+1)u\in C^{\infty}_c(\mathbf{R}^{d+1}) ∥ut∥Lp(Rd+1)+∥(−Δ)γ/2u∥Lp(Rd+1)≤N∥ut−A(t)u∥Lp(Rd+1), \|u_t\|_{L_p(\mathbf{R}^{d+1})}+\|(-Δ)^{γ/2}u\|_{L_p(\mathbf{R}^{d+1})}\leq N\|u_t-A(t)u\|_{L_p(\mathbf{R}^{d+1})}, where p in(1,∞)p\ in (1,\infty) and the constant NN is independent of uu.

preprint2013arXiv

On the Lq(Lp)-regularity and Besov smoothness of stochastic parabolic equations on bounded Lipschitz domains

We investigate the regularity of linear stochastic parabolic equations with zero Dirichlet boundary condition on bounded Lipschitz domains O⊂RdO \subset R^d with both theoretical and numerical purpose. We use N.V. Krylov's framework of stochastic parabolic weighted Sobolev spaces Hp,θγ,q(O;T)\mathfrak{H}^{γ,q}_{p,θ}(O;T). The summability parameters p and q in space and time may differ. Existence and uniqueness of solutions in these spaces is established and the Hölder regularity in time is analysed. Moreover, we prove a general embedding of weighted Lp(O)-Sobolev spaces into the scale of Besov spaces Bτ,τα(O),1/τ=α/d+1/p,α>0B^α_{τ,τ}(O), 1/τ=α/d+1/p, α> 0. This leads to a Hölder-Besov regularity result for the solution process. The regularity in this Besov scale determines the order of convergence that can be achieved by certain nonlinear approximation schemes.

preprint2013arXiv

Parabolic Littlewood-Paley inequality for ϕ(−Δ)ϕ(-Δ)-type operators and applications to Stochastic integro-differential equations

In this paper we prove a parabolic version of the Littlewood-Paley inequality for the operators of the type ϕ(−Δ)ϕ(-Δ), where ϕϕ is a Bernstein function. As an application, we construct an LpL_p-theory for the stochastic integro-differential equations of the type du=(−ϕ(−Δ)u+f)dt+gdWtdu=(-ϕ(-Δ)u+f)dt +gdW_t.

preprint2012arXiv

A weighted LpL_p-theory for parabolic PDEs with BMO coefficients on C1C^1-domains

In this paper we present a weighted LpL_p-theory of second-order parabolic partial differential equations defined on C1C^1 domains. The leading coefficients are assumed to be measurable in time variable and have VMO (vanishing mean oscillation) or small BMO (bounded mean oscillation) with respect to space variables, and lower order coefficients are allowed to be unbounded and to blow up near the boundary. Our BMO condition is slightly relaxed than the others in the literature.

preprint2011arXiv

A W2nW^n_2-Theory of Stochastic Parabolic Partial Differential Systems on C1C^1-domains

In this article we present a W2nW^n_2-theory of stochastic parabolic partial differential systems. In particular, we focus on non-divergent type. The space domains we consider are $\bR^d$, $\bR^d_+$ and eventually general bounded C1C^1-domains O\mathcal{O}. By the nature of stochastic parabolic equations we need weighted Sobolev spaces to prove the existence and the uniqueness. In our choice of spaces we allow the derivatives of the solution to blow up near the boundary and moreover the coefficients of the systems are allowed to oscillate to a great extent or blow up near the boundary.

preprint2011arXiv

A weighted Sobolev space theory of parabolic stochastic PDEs on non-smooth domains

In this paper we study parabolic stochastic partial differential equations defined on arbitrary bounded domain $\cO \subset \bR^d$ allowing Hardy inequality: $$ \int_{\cO}|ρ^{-1}g|^2\,dx\leq C\int_{\cO}|g_x|^2 dx, \quad \forall g\in C^{\infty}_0(\cO), $$ where $ρ(x)=\text{dist}(x,\partial \cO)$. Existence and uniqueness results are given in weighted Sobolev spaces $\frH^γ_{p,θ}(\cO,T)$, where p∈[2,∞)p\in [2,\infty), $γ\in \bR$ is the number of derivatives of solutions and θθ controls the boundary behavior of solutions. Furthermore several Hölder estimates of the solutions are also obtained. It is allowed that the coefficients of the equations blow up near the boundary.

preprint2010arXiv

A W21W^1_2-theory of Stochastic Partial Differential Systems of Divergence type on C1C^1 domains

In this paper we study the stochastic partial differential systems of divergence type with C1C^1 space domains in $\bR^d$. Existence and uniqueness results are obtained in terms of Sobolev spaces with weights so that we allow the derivatives of the solution to blow up near the boundary. The coefficients of the systems are only measurable and are allowed to blow up near the boundary.

preprint2010arXiv

A W2nW^n_2-Theory of Elliptic and Parabolic Partial Differential Systems in C1C^1 domains

In this paper second-order elliptic and parabolic partial differential systems are considered on C1C^1 domains. Existence and uniqueness results are obtained in terms of Sobolev spaces with weights so that we allow the derivatives of the solutions to blow up near the boundary. The coefficients of the systems are allowed to substantially oscillate or blow up near the boundary.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.