BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Young-Pil Choi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider the Vlasov-Manev-Fokker-Planck (VMFP) system in three dimensions, which differs from the Vlasov-Poisson-Fokker-Planck in that it has the gravitational potential of the form $-1/r - 1/r^2$ instead of the Newtonian one. For the VMFP system, we establish the global-in-time existence of weak solutions. The proof extends to several related kinetic systems.
We investigate the Cauchy problem for the Vlasov--Riesz system, which is a Vlasov equation featuring an interaction potential generalizing previously studied cases, including the Coulomb $Φ= (-Δ)^{-1}ρ$, Manev $(-Δ)^{-1} + (-Δ)^{-\frac12}$, and pure Manev $(-Δ)^{-\frac12}$ potentials. For the first time, we extend the local theory of classical solutions to potentials more singular than that for the Manev. Then, we obtain finite-time singularity formation for solutions with various attractive interaction potentials, extending the well-known blow-up result of Horst for attractive Vlasov--Poisson for $d\ge4$. Our local well-posedness and singularity formation results extend to cases when linear diffusion and damping in velocity are present.
We consider the fractional porous medium flow introduced by Caffarelli-Vazquez and obtain local in time existence, uniqueness, and blow-up criterion for smooth solutions. The proof is based on establishing a commutator estimate involving fractional Laplacian operators.
We present a new stochastic particle system on networks which describes the flocking behavior and pattern formation. More precisely, we consider Cucker-Smale particles with decentralized formation control and multiplicative noises on symmetric and connected networks. Under suitable assumptions on the initial configurations and the network structure, we establish time-asymptotic stochastic flocking behavior and pattern formation of solutions for the proposed stochastic particle system. Our approach is based on the Lyapunov functional energy estimates, and it does not require any spectral information of the graph associated with the network structure.
In this paper, we are interested in the dynamics of charged particles interacting with the incompressible viscous flow. More precisely, we consider the Vlasov-Poisson or Vlasov-Poisson-Fokker-Planck equation coupled with the incompressible Navier-Stokes system through the drag force. For the proposed kinetic-fluid model, we study the asymptotic regime corresponding to strong local alignment and diffusion forces. Under suitable assumptions on the initial data, we rigorously derive a coupled isothermal/pressureless Euler-Poisson system and incompressible Navier-Stokes system(in short, EPNS system). For this hydrodynamic limit, we employ the modulated kinetic energy estimate together with the relative entropy method and the bounded Lipschitz distance. We also construct a global-in-time strong solvability for the isothermal/pressureless EPNS system. In particular, this global-in-time solvability gives the estimates of hydrodynamic limit hold for all time.
We perform asymptotic analysis for the Euler--Riesz system posed in either $\mathbb{T}^d$ or $\mathbb{R}^d$ in the high-force regime and establish a quantified relaxation limit result from the Euler--Riesz system to the fractional porous medium equation. We provide a unified approach for asymptotic analysis regardless of the presence of pressure, based on the modulated energy estimates, the Wasserstein distance of order $2$, and the bounded Lipschitz distance.
In this paper, we are concerned with a nonlinear optimal control problem of ordinary differential equations. We consider a discretization of the problem with the discontinuous Galerkin method with arbitrary order $r \in \mathbb{N}\cup \{0\}$. Under suitable regularity assumptions on the cost functional and solutions of the state equations, we provide sharp estimates for the error of the approximate solutions. Numerical experiments are presented supporting the theoretical results.
We study an asymptotic analysis of a coupled system of kinetic and fluid equations. More precisely, we deal with the nonlinear Vlasov-Fokker-Planck equation coupled with the compressible isentropic Navier-Stokes system through a drag force in a bounded domain with the specular reflection boundary condition for the kinetic equation and homogeneous Dirichlet boundary condition for the fluid system. We establish a rigorous hydrodynamic limit corresponding to strong noise and local alignment force. The limiting system is a type of two-phase fluid model consisting of the isothermal Euler system and the compressible Navier-Stokes system. Our main strategy relies on the relative entropy argument based on the weak-strong uniqueness principle. For this, we provide a global-in-time existence of weak solutions for the coupled kinetic-fluid system. We also show the existence and uniqueness of strong solutions to the limiting system in a bounded domain with the kinematic boundary condition for the Euler system and Dirichlet boundary condition for the Navier-Stokes system.
In this paper, we investigate the initial value problem for the Euler-Riesz system, where the interaction forcing is given by $\nabla(-Δ)^{s}ρ$ for some $-1<s<0$, with $s = -1$ corresponding to the classical Euler-Poisson system. We develop a functional framework to establish local-in-time existence and uniqueness of classical solutions for the Euler-Riesz system. In this framework, the fluid density could decay fast at infinity, and the Euler-Poisson system can be covered as a special case. Moreover, we prove local well-posedness for the pressureless Euler-Riesz system when the potential is repulsive, by observing hyperbolic nature of the system. Finally, we present sufficient conditions on the finite-time blowup of classical solutions for the isentropic/isothermal Euler-Riesz system with either attractive or repulsive interaction forces. The proof, which is based on estimates of several physical quantities, establishes finite-time blowup for a large class of initial data; in particular, it is not required that the density is of compact support.
We analyze the one dimensional Cucker-Smale (in short CS) model with a weak singular communication weight $ψ(x) = |x|^{-β}$ with $β\in (0,1)$. We first establish a global-in-time existence of measure-valued solutions to the kinetic CS equation. For this, we use a proper change of variable to reformulate the particle CS model as a first-order particle system and provide the uniform-in-time stability for that particle system. We then extend this stability estimate for the singular CS particle system. By using that stability estimate, we construct the measure-valued solutions to the kinetic CS equation globally in time. Moreover, as a direct application of the uniform-in-time stability estimate, we show the quantitative uniform-in-time mean-field limit from the particle system to that kinetic CS equation in $p$-Wasserstein distance with $p \in [1,\infty]$. Our result gives the uniqueness of measure-valued solution in the sense of mean-field limits, i.e., the measure-valued solutions, approximated by the empirical measures associated to the particle system, uniquely exist. Similar results for the first-order model also follow as a by-product. We also reformulate the continuity-type equation, which is derived from the first-order model, as an integro-differential equation by employing the pseudo-inverse of the accumulative particle distribution. By making use of a modified $p$-Wasserstein distance, we provide the contractivity estimate for absolutely continuous solutions of the continuum equation.
In this paper, we quantify the asymptotic limit of collective behavior kinetic equations arising in mathematical biology modeled by Vlasov-type equations with nonlocal interaction forces and alignment. More precisely, we investigate the hydrodynamic limit of a kinetic Cucker--Smale flocking model with confinement, nonlocal interaction, and local alignment forces, linear damping and diffusion in velocity. We first discuss the hydrodynamic limit of our main equation under strong local alignment and diffusion regime, and we rigorously derive the isothermal Euler equations with nonlocal forces. We also analyze the hydrodynamic limit corresponding to strong local alignment without diffusion. In this case, the limiting system is pressureless Euler-type equations. Our analysis includes the Coulombian interaction potential for both cases and explicit estimates on the distance towards the limiting hydrodynamic equations. The relative entropy method is the crucial technology in our main results, however, for the case without diffusion, we combine a modulated macroscopic kinetic energy with the bounded Lipschitz distance to deal with the nonlocality in the interaction forces. For the sake of completeness, the existence of weak and strong solutions to the kinetic and fluid equations are also established.
We study an asymptotic limit of Vlasov type equation with nonlocal interaction forces where the friction terms are dominant. We provide a quantitative estimate of this large friction limit from the kinetic equation to a continuity type equation with a nonlocal velocity field, the so-called aggregation equation, by employing $2$-Wasserstein distance. By introducing an intermediate system, given by the pressureless Euler equations with nonlocal forces, we can quantify the error between the spatial densities of the kinetic equation and the pressureless Euler system by means of relative entropy type arguments combined with the $2$-Wasserstein distance. This together with the quantitative error estimate between the pressureless Euler system and the aggregation equation in $2$-Wasserstein distance in [Commun. Math. Phys, 365, (2019), 329--361] establishes the quantitative bounds on the error between the kinetic equation and the aggregation equation.
We are concerned with large-time behaviors of solutions for Vlasov--Navier--Stokes equations in two dimensions and Vlasov-Stokes system in three dimensions including the effect of velocity alignment/misalignment. We first revisit the large-time behavior estimate for our main system and refine assumptions on the dimensions and a communication weight function. In particular, this allows us to take into account the effect of the misalignment interactions between particles. We then use a sharp heat kernel estimate to obtain the exponential time decay of fluid velocity to its average in $L^\infty$-norm. For the kinetic part, by employing a certain type of Sobolev norm weighted by modulations of averaged particle velocity, we prove the exponential time decay of the particle distribution, provided that local particle distribution function is uniformly bounded. Moreover, we show that the support of particle distribution function in velocity shrinks to a point, which is the mean of averaged initial particle and fluid velocities, exponentially fast as time goes to infinity. This also provides that for any $p \in [1,\infty]$, the $p$-Wasserstein distance between the particle distribution function and the tensor product of the local particle distributions and Dirac measure at that point in velocity converges exponentially fast to zero as time goes to infinity.
We develop tools to construct Lyapunov functionals on the space of probability measures in order to investigate the convergence to global equilibrium of a damped Euler system under the influence of external and interaction potential forces with respect to the 2-Wasserstein distance. We also discuss the overdamped limit to a nonlocal equation used in the modelling of granular media with respect to the 2-Wasserstein distance, and provide rigorous proofs for particular examples in one spatial dimension.
We establish the large-time behavior for the coupled kinetic-fluid equations. More precisely, we consider the Vlasov equation coupled to the compressible isentropic Navier-Stokes equations through a drag forcing term. For this system, the large-time behavior shows the exponential alignment between particles and fluid velocities as time evolves. This improves the previous result by Bae-Choi-Ha-Kang[Disc. Cont. Dyn. Sys. A, 34, (2014), 4419--4458] in which they considered the Vlasov/Navier-Stokes equations with nonlocal velocity alignment forces for particles. Employing a new Lyapunov functional measuring the fluctuations of momentum and mass from the averaged quantities, we refine assumptions for the large-time behavior of the solutions to that system.
We study a Cucker-Smale-type system with time delay in which agents interact with each other through normalized communication weights. We construct a Lyapunov functional for the system and provide sufficient conditions for asymptotic flocking, i.e., convergence to a common velocity vector. We also carry out a rigorous limit passage to the mean-field limit of the particle system as the number of particles tends to infinity.For the resulting Vlasov-type equation we prove the existence, stability and large-time behavior of measure-valued solutions. This is, to our best knowledge, the first such result for a Vlasov-type equation with time delay. We also present numerical simulations of the discrete system with few particles that provide further insights into the flocking and oscillatory behaviors of the particle velocities depending on the size of the time delay.
In this chapter, we present the Cucker-Smale type flocking models, and discuss their mathematical structures and flocking theorems in terms of coupling strength, interaction topologies and initial data. In 2007, two mathematicians Felipe Cucker and Steve Smale introduced a second-order particle model which resembles Newton's equations in $N$-body system, and present how their simple model can exhibit emergent flocking behavior under sufficient conditions expressed only in terms of parameters and initial data. After Cucker-Smale's seminal works, their model has received lots of attention from applied math and control engineering communities. We discuss the state-of-art for the flocking theorems to Cucker-Smale type flocking models.
This paper deals with the finite-time blow-up phenomena of classical solutions for Vlasov/Navier-Stokes equations under suitable assumptions on the initial configurations. We show that a solution to the coupled kinetic-fluid system may be initially smooth, however, it can become singular in a finite period of time. We provide a simple idea of showing the finite time blow up of classical solutions to the coupled system which has not been studied so far. We also obtain analogous results for related systems, such as isentropic compressible Navier-Stokes equations, two-phase fluid equations consisting of pressureless Euler equations and Navier-Stokes equations, and thick sprays model.
We study the global existence of a unique strong solution and its large-time behavior of a two-phase fluid system consisting of the compressible isothermal Euler equations coupled with compressible isentropic Navier-Stokes equations through a drag forcing term. The coupled system can be derived as the hydrodynamic limit of the Vlasov-Fokker-Planck/isentropic Navier-Stokes equations with strong local alignment forces. When the initial data is sufficiently small and regular, we establish the unique existence of the global $H^s$-solutions in a perturbation framework. We also provide the large-time behavior of classical solutions showing the alignment between two fluid velocities exponentially fast as time evolves. For this, we construct a Lyapunov function measuring the fluctuations of momentum and mass from its averaged quantities.
In this paper, we are concerned with the global well-posedness and time-asymptotic decay of the Vlasov-Fokker-Planck equation with local alignment forces. The equation can be formally derived from an agent-based model for self-organized dynamics which is called Motsch-Tadmor model with noises. We present the global existence and uniqueness of classical solutions to the equation around the global Maxwellian in the whole space. For the large-time behavior, we show the algebraic decay rate of solutions towards the equilibrium under suitable assumptions on the initial data. We also remark that the rate of convergence is exponential when the spatial domain is periodic. The main methods used in this paper are the classical energy estimates combined with hyperbolic-parabolic dissipation arguments.
In this paper we model the role of a government of a large population as a mean field optimal control problem. Such control problems are constrainted by a PDE of continuity-type, governing the dynamics of the probability distribution of the agent population. We show the existence of mean field optimal controls both in the stochastic and deterministic setting. We derive rigorously the first order optimality conditions useful for numerical computation of mean field optimal controls. We introduce a novel approximating hierarchy of sub-optimal controls based on a Boltzmann approach, whose computation requires a very moderate numerical complexity with respect to the one of the optimal control. We provide numerical experiments for models in opinion formation comparing the behavior of the control hierarchy.
We rigorously show the mean-field limit for a large class of swarming individual based models with local sharp sensitivity regions. For instance, these models include nonlocal repulsive-attractive forces locally averaged over sharp vision cones and Cucker-Smale interactions with discontinuous communication weights. We construct global-in-time defined notion of solutions through a differential inclusion system corresponding to the particle descriptions. We estimate the error between the solutions to the differential inclusion system and weak solutions to the expected limiting kinetic equation by employing tools from optimal transport theory. Quantitative bounds on the expansion of the 1-Wasserstein distance along flows based on a weak-strong stability estimate are obtained. We also provide different examples of realistic sensitivity sets satisfying the assumptions of our main results.
We analyse the one-dimensional pressureless Euler-Poisson equations with a linear damping and non-local interaction forces. These equations are relevant for modelling collective behavior in mathematical biology. We provide a sharp threshold between the supercritical region with finite-time breakdown and the subcritical region with global-in-time existence of the classical solution. We derive an explicit form of solution in Lagrangian coordinates which enables us to study the time-asymptotic behavior of classical solutions with the initial data in the subcritical region.
We consider the synchronization problem of swing equations, a second-order Kuramoto-type model, on connected networks with inhomogeneous dampings. This was largely motivated by its relevance to the dynamics of power grids. We focus on the estimate of the region of attraction of synchronous states which is a central problem in the transient stability of power grids. In the recent literature, Dörfler, Chertkov, and Bullo [Proc. Natl. Acad. Sci. USA, 110 (2013), pp. 2005-2010] found a condition for the synchronization in smart grids. They pointed out that the region of attraction is an important unsolved problem. In [SIAM J. Control Optim., 52 (2014), pp. 2482-2511], only a special case was considered where the oscillators have homogeneous dampings and the underlying graph has a diameter less than or equal to 2. There the analysis heavily relies on these assumptions; however, they are too strict compared to the real power networks. In this paper, we continue the study and derive an estimate on the region of attraction of phase-locked states for lossless power grids on connected graphs with inhomogeneous dampings. Our main strategy is based on the gradient-like formulation and energy estimate. We refine the assumptions by constructing a new energy functional which enables us to consider such general settings.
We consider the Cucker-Smale flocking model with a singular communication weight $ψ(s) = s^{-α}$ with $α> 0$. We provide a critical value of the exponent $α$ in the communication weight leading to global regularity of solutions or finite-time collision between particles. For $α\geq 1$, we show that there is no collision between particles in finite time if they are placed in different positions initially. For $α\geq 2$ we investigate a version of the Cucker-Smale model with expanded singularity i.e. with weight $ψ_δ(s) = (s-δ)^{-α}$, $δ\geq 0$. For such model we provide a uniform with respect to the number of particles estimate that controls the $δ$-distance between particles. In case of $δ= 0$ it reduces to the estimate of non-collisioness.
We present a new hydrodynamic model consisting of the pressureless Euler equations and the isentropic compressible Navier-Stokes equations where the coupling of two systems is through the drag force. This coupled system can be derived, in the hydrodynamic limit, from the particle-fluid equations that are frequently used to study the medical sprays, aerosols and sedimentation problems. For the proposed system, we first construct the local-in-time classical solutions in an appropriate $L^2$ Sobolev space. We also establish the \emph{a priori} large-time behavior estimate by constructing a Lyapunov functional measuring the fluctuation of momentum and mass from the averaged quantities, and using this together with the bootstrapping argument, we obtain the global classical solution. The large-time behavior estimate asserts that the velocity functions of the pressureless Euler and the compressible Navier-Stokes equations are aligned exponentially fast as time tends to infinity.
We study a linearly transformed particle method for the aggregation equation with smooth or singular interaction forces. For the smooth interaction forces, we provide convergence estimates in $L^1$ and $L^\infty$ norms depending on the regularity of the initial data. Moreover, we give convergence estimates in bounded Lipschitz distance for measure valued solutions. For singular interaction forces, we establish the convergence of the error between the approximated and exact flows up to the existence time of the solutions in $L^1 \cap L^p$ norm.
We study the critical thresholds for the compressible pressureless Euler equations with pairwise attractive or repulsive interaction forces and non-local alignment forces in velocity in one dimension. We provide a complete description for the critical threshold to the system without interaction forces leading to a sharp dichotomy condition between global in time existence or finite-time blow-up of strong solutions. When the interaction forces are considered, we also give a classification of the critical thresholds according to the different type of interaction forces. We also analyze conditions for global in time existence when the repulsion is modeled by the isothermal pressure law.
We discuss the {\it nonlinear stability} of phase-locked states for globally coupled nonlinear oscillators with finite inertia, namely the modified Kuramoto model, in the context of the robust $\ell^{\infty}$-norm. We show that some classes of phase-locked states are orbitally $\ell{\infty}$-stable in the sense that its small perturbation asymptotically leads to only the phase shift of the phase-locked state from the original one without changing its fine structures as keeping the same suitable coupling strength among oscillators and the same natural frequencies. The phase shift is uniquely determined by the average of initial phases, the average of initial frequencies, and the strength of inertia. We numerically confirm the stability of the phase-locked state as well as its uniqueness and the phase shift, where various initial conditions are considered. Finally, we argue that some restricted conditions employed in the mathematical proof are not necessary, based on numerical simulation results.