SearcharxivSearch

arXiv subjects

Sukjung Hwang

Publications and source records attributed to Sukjung Hwang.

13 recordsLinked to original sources

Existence of weak solutions for fast diffusion equation with a divergence type of drift term

We construct non-negative weak solutions of fast diffusion equations with a divergence type of drift term satisfying the $L^q$-energy inequality and speed estimate in Wasserstein spaces under some integrability conditions on the drift term. Furthermore, in the case that the drift term has a divergence-free structure, it turns out that its integrability conditions can be relaxed, which is also applicable to porous medium equations, thereby improving previous results. As an application, the existence of weak solutions is also discussed for a viscous Boussinesq system of the fast diffusion type.

math.AP

Existence of weak solutions for nonlinear drift-diffusion equations with measure data

We consider nonlinear drift-diffusion equations (both porous medium equations and fast diffusion equations) with measure data. We establish the existence of nonnegative weak solutions satisfying gradient estimates, provided that the drift term belongs to a sub-scaling class relevant to the $L^1$ space. When the drift is divergence-free, this requirement can be relaxed: the drift may belong to a class that is supercritical with respect to $L^1$-scaling class, and the admissible range of the diffusion exponent $m$ is enlarged as well. By handling both the measure data and the drift, we obtain a new type of energy estimate. We also discuss sharpness by constructing counterexamples showing that the general-drift range cannot be improved under the corresponding integrability scale without the divergence-free cancellation. As an application, we construct weak solutions for a specific type of nonlinear diffusion equation with measure data coupled to the incompressible Navier-Stokes equations.

math.AP

Keller-Segel-Navier-Stokes systems involving general sensitivities with Signal-Dependent Power-Law Decay

This paper investigates a two-dimensional Keller--Segel--Navier--Stokes system with a tensor-valued chemotactic sensitivity $S(x,n,c)$. Under a signal-dependent power-decay condition $|S(x,n,c)| \le s_0 (s_1+c)^{-γ}$, we establish the global existence and uniform-in-time boundedness of classical solutions for both fluid-coupled ($γ> 1/2$) and fluid-free ($γ> 0$) systems. The proof relies on a sequence of localized energy estimates, including the $L^{2}_{\rm loc}$-smallness of the weighted gradient of the signal concentration, to overcome the mathematical difficulties arising from signal production and fluid transport. Furthermore, under specific structural assumptions on the sensitivity tensor, we prove that solutions of the fluid-free system converge exponentially to the spatially homogeneous steady state. To this end, we establish an interpolation inequality involving the Hölder norm, which is of independent interest and seems to have broad applications.

math.AP

Existence of weak solutions for Porous medium equation with a divergence type of drift term in a bounded domain

We study porous medium equations with a divergence form of drift terms in a bounded domain with no-flux lateral boundary conditions. We establish $L^q$-weak solutions for $ 1\leq q < \infty$ in Wasserstein space under appropriate conditions on the drift, which is an extension of authors' previous works done in the whole space into the case of bounded domains. Applying existence results to a certain Keller-Segel equation of consumption type, construction of $L^q$-weak solutions is also made, in case that the equation of a biological organism is of porous medium type.

math.AP

Existence of weak solutions for Porous medium equation with a divergence type of drift term

We consider degenerate porous medium equations with a divergence type of drift terms. We establish the existence of $L^{q}$-weak solutions (satisfying energy estimates or even further with moment and speed estimates in Wasserstein spaces), in case the drift term belongs to a sub-scaling (including scaling invariant) class depending on $q$ and $m$ caused by the nonlinear structure of diffusion, which is a major difference compared to that of a linear case. It is noticeable that the classes of drift terms become wider if the drift term is divergence-free. Similar conditions of gradients of drift terms are also provided to ensure the existence of such weak solutions. Uniqueness results follow under an additional condition on the gradients of the drift terms with the aid of methods developed in Wasserstein spaces. One of our main tools is so called the splitting method to construct a sequence of approximated solutions, which implies, bypassing to the limit, the existence of weak solutions satisfying not only an energy inequality but also moment and speed estimates. One of the crucial points in the construction is uniform Hölder continuity up to initial time for homogeneous porous medium equations, which seems to be of independent interest. As an application, we improve a regularity result for solutions of a repulsive Keller-Segel system of porous medium type.

math.AP

The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients

Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lamé system for isotropic inhomogeneous materials. We show that our result applies to isotropic materials with Poisson ratio $ν<0.396$. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$.

math.AP

Continuity results for degenerate diffusion equations with $L^{p}_t L^{q}_{x}$ drifts

In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = Δu^{m} + \nabla\cdot \left( B (x,t) \, u\right), \quad \text{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local Hölder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region. In the critical region, the divergence-free condition is essential to providing uniform continuity which depends on the modulus continuity of $B$.

math.AP

Uniform boundedness for weak solutions of quasilinear parabolic equations

In this paper, we study the boundedness of weak solutions to quasilinear parabolic equations of the form \[u_t - \text{div} \mathcal{A}(x,t,\nabla u) = 0, \] where the nonlinearity $\mathcal{A}(x,t,\nabla u)$ is modelled after the well studied $p$-Laplace operator. The question of boundedness has received lot of attention over the past several decades with the existing literature showing that weak solutions in either $\frac{2N}{N+2}<p<2$, $p=2$ or $2<p$ are bounded. The proof is essentially split into three cases mainly because the estimates that have been obtained in the past always included an exponent of the form $\frac{1}{p-2}$ or $\frac{1}{2-p}$ which blows up as $p \rightarrow 2$. In this note, we prove the boundedness of weak solutions in the full range $\frac{2N}{N+2} < p < \infty$ without having to consider the singular and degenerate cases separately. Subsequently, in a slightly smaller regime of $\frac{2N}{N+1} < p < \infty$, we also prove an improved boundedness estimate.

math.AP

Parabolic $L^p$ Dirichlet Boundary Value Problem and VMO-type time-varying domains

We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition. This result brings the state of affairs in the parabolic setting up to the elliptic standard. Furthermore, we establish that if the coefficients of the operator $A,\,B$ satisfy a vanishing Carleson condition and the time-varying domain is of VMO type then the parabolic $L^p$ Dirichlet boundary value problem is solvable for all $1 < p \leq \infty$. This result is related to results in papers by Mazýa, Mitrea and Shaposhnikova, and Hofmann, Mitrea and Taylor where the fact that boundary of domain has normal in VMO or near VMO implies invertibility of certain boundary operators in $L^p$ for all $1 < p \leq \infty$ which then (using the method of layer potentials) implies solvability of the $L^p$ boundary value problem in the same range for certain elliptic PDEs. Our result does not use the method of layer potentials, since the coefficients we consider are too rough to use this technique but remarkably we recover $L^p$ solvability in the full range of $p$'s as the two papers mentioned above.

math.AP

Hölder continuity of a bounded weak solution of generalized parabolic $p-$Laplacian equations

Here we generalize quasilinear parabolic $p-$Laplacian type equations to obtain the prototype equation as \[ u_t - \text{div} (g(|Du|)/ |Du| \cdot Du) = 0, \] where a nonnegative, increasing, and continuous function $g$ trapped in between two power functions $|Du|^{g_0 -1}$ and $|Du|^{g_1 -1}$ with $1<g_0 \leq g_1 < \infty$. Through this generalization in the setting from Orlicz spaces, we provide a uniform proof with a single geometric setting that a bounded weak solution is locally Hölder continuous considering $1 < g_0 \leq g_1 \leq 2$ and $2 \leq g_0 \leq g_1 < \infty$ separately. By using geometric characters, our proof does not rely on any of alternatives which is based on the size of solutions.

math.AP

Holder continuity of Keller-Segel equations of porous medium type coupled to fluid equations

We consider a coupled system consisting of a degenerate porous medium type of Keller-Segel system and Stokes system modeling the motion of swimming bacteria living in fluid and consuming oxygen. We establish the global existence of weak solutions and Hölder continuous solutions in dimension three, under the assumption that the power of degeneracy is above a certain number depending on given parameter values. To show Hölder continuity of weak solutions, we consider a single degenerate porous medium equation with lower order terms, and via a unified method of proof, we obtain Hölder regularity, which is of independent interest.

math.AP