Source author record

Hwa Kil Kim

Hwa Kil Kim appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

6 published item(s)

preprint2020arXiv

Temporal decays and asymptotic behaviors for a Vlasov equation with a flocking term coupled to incompressible fluid flow

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.

preprint2015arXiv

Value functions in the Wasserstein spaces: finite time horizons

We study analogs of value functions arising in classical mechanics in the space of probability measures endowed with the Wasserstein metric $W_p$, for $1<p<\infty$. Our main result is that each of these generalized value functions is a type of viscosity solution of an appropriate Hamilton-Jacobi equation, completing a program initiated by Gangbo, Tudorascu, and Nguyen. Of particular interest is a formula we derive for a generalized value function when the associated potential energy is of the form ${\cal V}(μ)=\int_{\mathbb{R}^d}V(x)dμ(x)$. This formula allows us to make rigorous a well known heuristic connection between Euler-Poisson equations and classical Hamilton-Jacobi equations. Further results are presented which suggest there is a rich theory to be developed of deterministic control in the Wasserstein spaces.

preprint2014arXiv

Infinite horizon value functions in the Wasserstein spaces

We perform a systematic study of optimization problems in the Wasserstein spaces that are analogs of infinite horizon, deterministic control problems. We derive necessary conditions on action minimizing paths and present a sufficient condition for their existence. We also verify that the corresponding generalized value functions are a type of viscosity solution of a time independent, Hamilton-Jacobi equation in the space of probability measures. Finally, we prove a special case of a conjecture involving the subdifferential of generalized value functions and their relation to action minimizing paths.

preprint2012arXiv

Generating and Adding Flows on Locally Complete Metric Spaces

As a generalization of a vector field on a manifold, the notion of an arc field on a locally complete metric space was introduced in \cite{BC}. In that paper, the authors proved an analogue of the Cauchy-Lipschitz Theorem i.e they showed the existence and uniqueness of solution curves for a time independent arc field. In this paper, we extend the result to the time dependent case, namely we show the existence and uniqueness of solution curves for a time dependent arc field. We also introduce the notion of the sum of two time dependent arc fields and show existence and uniqueness of solution curves for this sum.

preprint2010arXiv

Extremal doubly stochastic measures and optimal transportation

This article connects the theory of extremal doubly stochastic measures to the geometry and topology of optimal transportation. We begin by reviewing an old question (# 111) of Birkhoff in probability and statistics [4], which is to give a necessary and sufficient condition on the support of a joint probability to guarantee extremality among all measures which share its marginals. Following work of Douglas, Lindenstrauss, and Beneš and Štěpán, Hestir and Williams [15] found a necessary condition which is nearly sufficient; we relax their subtle measurability hypotheses separating necessity from sufficiency slightly, yet demonstrate by example that to be sufficient certainly requires some measurability. Their condition amounts to the vanishing of γ outside a countable alternating sequence of graphs and antigraphs in which no two graphs (or two antigraphs) have domains that overlap, and where the domain of each graph / antigraph in the sequence contains the range of the succeeding antigraph (respectively, graph). Such sequences are called numbered limb systems. Surprisingly, this characterization can be used to resolve the uniqueness question for optimal transportation on manifolds with the topology of the sphere.

preprint2010arXiv

Optimal transportation, topology and uniqueness

The Monge-Kantorovich transportation problem involves optimizing with respect to a given a cost function. Uniqueness is a fundamental open question about which little is known when the cost function is smooth and the landscapes containing the goods to be transported possess (non-trivial) topology. This question turns out to be closely linked to a delicate problem (# 111) of Birkhoff [14]: give a necessary and sufficient condition on the support of a joint probability to guarantee extremality among all measures which share its marginals. Fifty years of progress on Birkhoff's question culminate in Hestir and Williams' necessary condition which is nearly sufficient for extremality; we relax their subtle measurability hypotheses separating necessity from sufficiency slightly, yet demonstrate by example that to be sufficient certainly requires some measurability. Their condition amounts to the vanishing of the measure γoutside a countable alternating sequence of graphs and antigraphs in which no two graphs (or two antigraphs) have domains that overlap, and where the domain of each graph / antigraph in the sequence contains the range of the succeeding antigraph (respectively, graph). Such sequences are called numbered limb systems. We then explain how this characterization can be used to resolve the uniqueness of Kantorovich solutions for optimal transportation on a manifold with the topology of the sphere.