Source author record

Woocheol Choi

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

20works
11topics
4close collaborators

Published work

20 publications

preprint2022arXiv

Convergence results of a nested decentralized gradient method for non-strongly convex problems

We are concerned with the convergence of NEAR-DGD+^+ (Nested Exact Alternating Recursion Distributed Gradient Descent) method introduced to solve the distributed optimization problems. Under the assumption of the strong convexity of local objective functions and the Lipschitz continuity of their gradients, the linear convergence is established in \cite{BBKW - Near DGD}. In this paper, we investigate the convergence property of NEAR-DGD+^+ in the absence of strong convexity. More precisely, we establish the convergence results in the following two cases: (1) When only the convexity is assumed on the objective function. (2) When the objective function is represented as a composite function of a strongly convex function and a rank deficient matrix, which falls into the class of convex and quasi-strongly convex functions. Numerical results are provided to support the convergence results.

preprint2022arXiv

On the convergence of decentralized gradient descent with diminishing stepsize, revisited

Distributed optimization has received a lot of interest in recent years due to its wide applications in various fields. In this work, we revisit the convergence property of the decentralized gradient descent [A. Nedi{ć}-A.Ozdaglar (2009)] on the whole space given by xi(t+1)=∑j=1mwijxj(t)−α(t)∇fi(xi(t)), x_i(t+1) = \sum^m_{j=1}w_{ij}x_j(t) - α(t) \nabla f_i(x_i(t)), where the stepsize is given as α(t)=a(t+w)pα(t) = \frac{a}{(t+w)^p} with 0<p≤10< p\leq 1. Under the strongly convexity assumption on the total cost function ff with local cost functions fif_i not necessarily being convex, we show that the sequence converges to the optimizer with rate O(t−p)O(t^{-p}) when the values of a>0a>0 and w>0w>0 are suitably chosen.

preprint2021arXiv

Semi-classical limit of quantum free energy minimizers for the gravitational Hartree equation

For the gravitational Vlasov-Poisson equation, Guo and Rein constructed a class of classical isotropic states as minimizers of free energies (or energy-Casimir functionals) under mass constraints. For the quantum counterpart, that is, the gravitational Hartree equation, isotropic states are constructed as free energy minimizers by Aki, Dolbeault and Sparber. In this paper, we are concerned with the correspondence between quantum and classical isotropic states. Precisely, we prove that as the Planck constant ℏ\hbar goes to zero, free energy minimizers for the Hartree equation converge to those for the Vlasov-Poisson equation in terms of potential functions as well as via the Husimi transform and the Töplitz quantization.

preprint2020arXiv

A sharp error analysis for the discontinuous Galerkin method of optimal control problems

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∈N∪{0}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.

preprint2016arXiv

LpL^p mapping properties for nonlocal Schrödinger operators with certain potential

In this paper, we consider nonlocal Schrödinger equations with certain potentials VV given by an integro-differential operator LKL_K as follows; \begin{equation*}L_K u+V u=f\,\,\text{ in $\BR^n$ }\end{equation*} where $V\in\rh^q$ for $q>\f{n}{2s}$ and 0<s<10<s<1. We denote the solution of the above equation by $\cS_V f:=u$, which is called {\it the inverse of the nonlocal Schrödinger operator LK+VL_K+V with potential VV}; that is, $\cS_V=(L_K+V)^{-1}$. Then we obtain a weak Harnack inequality of weak subsolutions of the nonlocal equation \begin{equation}\begin{cases}L_K u+V u=0\,\,&\text{ in $\Om$,} \quad u=g\,\,&\text{ in $\BR^n\s\Om$,} \end{cases}\end{equation} where $g\in H^s(\BR^n)$ and $\Om$ is a bounded open domain in $\BR^n$ with Lipschitz boundary, and also get an improved decay of a fundamental solution $\fe_V$ for LK+VL_K+V. Moreover, we obtain LpL^p and Lp−LqL^p-L^q mapping properties of the inverse $\cS_V$ of the nonlocal Schrödinger operator LK+VL_K+V.

preprint2016arXiv

Minimal energy solutions to the fractional Lane-Emden system, I: Existence and singularity formation

This is the first of two papers which study asymptotic behavior of minimal energy solutions to the fractional Lane-Emden system in a smooth bounded domain ΩΩ \[(-Δ)^s u = v^p, \quad (-Δ)^s v = u^q \text{ in } Ω\quad \text{and} \quad u = v = 0 \text{ on } \pa Ω\quad \text{for } 0 < s < 1\] under the assumption that the subcritical pair (p,q)(p,q) approaches to the critical Sobolev hyperbola. If p=1p = 1, the above problem is reduced to the subcritical higher-order fractional Lane-Emden equation with the Navier boundary condition \[(-Δ)^s u = u^{\frac{n+2s}{n-2s}-\ep} \text{ in } Ω\quad \text{and} \quad u = (-Δ)^{s \over 2} u = 0 \quad \text{for } 1 < s < 2.\] The main objective of this paper is to deduce the existence of minimal energy solutions, and to examine their (normalized) pointwise limits provided that ΩΩ is convex. As a by-product of our study, a new approach for the existence of an extremal function for the Hardy-Littlewood-Sobolev inequality is provided.

preprint2016arXiv

Optimal convergence rate of nonrelativistic limit for the nonlinear pseudo-relativistic equations

In this paper, we are concerned with the nonrelativistic limit of the following pseudo-relativistic equation with Hartree nonlinearity or power type nonlinearity (−ℏ2c2Δ+m2c4−mc2)u+μu=N(u), \left(\sqrt{-\hbar^2c^2 Δ+m^2c^4} - mc^2 \right) u + μu = \mathcal{N}(u), where cc denotes the speed of light. We prove that the ground states of this equation converges to the ground state of its nonrelativistic counterpart −ℏ22mΔu+μu=N(u) -\frac{\hbar^2}{2m}Δu + μu = \mathcal{N}(u) with an explicit convergence rate 1/c21/c^2 in arbitrary order as c→∞c \to \infty. Moreover, we show that this rate is optimal.

preprint2016arXiv

The Lane-Emden system near the critical hyperbola on nonconvex domains

In this paper we study the asymptotic behavior of minimal energy solutions to the Lane-Emden system −Δu=vp-Δu = v^p and −Δv=uq-Δv = u^q on bounded domains as the index (p,q)(p,q) approaches to the critical hyperbola from below. Precisely, we remove the convexity assumption on the domain in the result of Guerra \cite{G}. The main task is to get the uniform boundedness of the solutions near the boundary because it is difficulty to adapt the moving plane method for the system on nonconvex domains if max⁡{p,q}>n+2n−2\max \{p,q\} > \frac{n+2}{n-2}. For the purpose, we shall derive a contradiction by exploiting carefully the Pohozaev type identity if the maximum point approaches to the boundary.

preprint2016arXiv

The Malgrange-Ehrenpreis theorem for nonlocal Schrödinger operators with certain potentials

In this paper, we prove the Malgrange-Ehrenpreis theorem for nonlocal Schrödinger operators LK+VL_K+V with nonnegative potentials $V\in L^q_{\loc}(\BR^n)$ for $q>\f{n}{2s}$ with 0<s<10<s<1 and n≥2n\ge 2; that is to say, we obtain the existence of a fundamental solution $\fe_V$ for LK+VL_K+V satisfying \begin{equation*}\bigl(L_K+V\bigr)\fe_V=\dt_0\,\,\text{ in $\BR^n$ }\end{equation*} in the distribution sense, where $\dt_0$ denotes the Dirac delta mass at the origin. In addition, we obtain a decay of the fundamental solution $\fe_V$.

preprint2015arXiv

Classification of finite energy solutions to the fractional Lane-Emden-Fowler equations with slightly subcritical exponents

We study qualitative properties of solutions to the fractional Lane-Emden-Fowler equations with slightly subcritical exponents where the associated fractional Laplacian is defined in terms of either the spectra of Dirichlet Laplacian or the integral representation. As a consequence, we classify the asymptotic behavior of all finite energy solutions. Our method also provides a simple and unified approach to deal with the classical (local) Lane-Emden-Fowler equation for any dimension greater than 2.

preprint2015arXiv

On perturbations of the fractional Yamabe problem

The fractional Yamabe problem, proposed by González-Qing (2013, Anal. PDE) is a geometric question which concerns the existence of metrics with constant fractional scalar curvature. It extends the phenomena which were discovered in the classical Yamabe problem and the boundary Yamabe problem to the realm of nonlocal conformally invariant operators. We investigate a non-compactness property of the fractional Yamabe problem by constructing bubbling solutions to its small perturbations.

preprint2014arXiv

Qualitative properties of multi-bubble solutions for nonlinear elliptic equations involving critical exponents

The objective of this paper is to obtain qualitative characteristics of multi-bubble solutions to the Lane-Emden-Fowler equations with slightly subcritical exponents given any dimension n≥3n \ge 3. By examining the linearized problem at each mm-bubble solution, we provide a number of estimates on the first (n+2)m(n+2)m-eigenvalues and their corresponding eigenfunctions. Specifically, we present a new proof of the classical theorem due to Bahri-Li-Rey (Calc. Var. Partial Differential Equations 3 (1995) 67-93) which states that if n≥4n \ge 4, then the Morse index of a multi-bubble solution is governed by a certain symmetric matrix whose component consists of a combination of Green's function, the Robin function, and their first and second derivatives. Our proof also allows us to handle the intricate case n=3n = 3.

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.