arXiv subjects

Linlin Sun

Publications and source records attributed to Linlin Sun.

At least 19 recordsLinked to original sources

arXiv2026

A flow approach to the Toda system

In this paper we introduce a flow to study the Toda system, which we call {\it Toda flow.} More generally, we introduce a flow of the Liouville systems, formulated as a coupled parabolic system with nonlocal interactions. Finite-time singularities are characterized and both necessary and sufficient conditions for convergence are provided in this general setting, even when the prescribed functions are allowed to change sign. As an application, we prove a global existence for the Toda flow in the critical case without restricting the sign of the prescribed functions. We provide a detailed description of blow-up behavior at infinity and obtain a sharp lower bound for the functional in cases where global convergence fails. By constructing appropriate test functions, we further establish a sufficient condition for the global convergence of the flow. These results are not affected by the sign-changing nature of the prescribed functions, and extend the theorem of Jost, Lin and Wang (Comm. Pure Appl. Math. 59, 526-558, 2006) to systems of multiple equations under this more general and physically relevant condition.

math.DG↗

arXiv2025

Critical mean field equations for equilibrium turbulence with sign-changing prescribed functions

Let $(M,g)$ be a compact Riemann surface with unit area. We investigate the mean field equation for equilibrium turbulence: \begin{align} \begin{cases} -\Delta u = \rho_1\left(\frac{h_1e^{u}}{\int_Mh_1e^udv_g}-1\right) - \rho_2\left(\frac{h_2e^{-u}}{\int_Mh_2e^{-u}dv_g}-1\right), \\ \int_Mudv_g=0, \end{cases} \end{align} where $\rho_1=8\pi$ and $\rho_2\in(0,8\pi]$ are parameters, and $h_1, h_2$ are smooth functions on $M$ that are positive somewhere. By employing a refined Brezis-Merle type analysis, we establish sufficient conditions of Ding-Jost-Li-Wang type for the existence of solutions to this equation in critical cases, particularly when $h_1$ and $h_2$ may change signs. Our results extend Zhou's existence theorems (Nonlinear Anal. 69 (2008), no.~8, 2541--2552) for the case $h_1=h_2\equiv 1$.

math.AP↗

arXiv2025

Existence theory for elliptic equations of general exponential nonlinearity on finite graphs

We study semilinear elliptic equations on finite graphs with fully general exponential nonlinearities, thereby extending classical equations such as the Kazdan-Warner and Chern-Simons equations. A key contribution of this work is the development of new techniques for deriving a priori estimates in this generalized setting, which reduce the original finite graph to a graph with only two vertices. This reduction enables us to explicitly compute the Brouwer degree and to establish the existence of solutions when the degree is nonzero. Furthermore, using the method of sub- and supersolutions, we also prove the existence of solutions in cases where the Brouwer degree vanishes.

math.AP↗

arXiv2025

Critical quasilinear equations on Riemannian manifolds

In this paper, we investigate critical quasilinear elliptic partial differential equations on a complete Riemannian manifold with nonnegative Ricci curvature. By exploiting a new and sharp nonlinear Kato inequality and establishing some Cheng-Yau type gradient estimates for positive solutions, we classify positive solutions to the critical $p$-Laplace equation and show rigidity concerning the ambient manifold. Our results extend and improve some previous conclusions in the literature. Similar results are obtained for solutions to the quasilinear Liouville equation involving the $n$-Laplace operator, where $n$ corresponds to the dimension of the ambient manifold.

math.DG↗

arXiv2024

Existence results for Toda systems with sign-changing prescribed functions: Part II

Let $(M, g)$ be a compact Riemann surface with area $1$. We investigate the Toda system \begin{align} \begin{cases} -\Delta u_1 = 2\rho_1(h_1e^{u_1}-1) - \rho_2(h_2e^{u_2}-1),\\ -\Delta u_2 = 2\rho_2(h_2e^{u_2}-1) - \rho_1(h_1e^{u_1}-1), \end{cases} \end{align} on $(M, g)$ where $\rho_1, \rho_2 \in (0,4\pi]$, and $h_1$ and $h_2$ are two smooth functions on $M$.When some $\rho_i$ equals $4\pi$, the Toda system becomes critical with respect to the Moser-Trudinger inequality for it, making the existence problem significantly more challenging. In their seminal article (Comm. Pure Appl. Math., 59 (2006), no. 4, 526--558), Jost, Lin, and Wang established sufficient conditions for the existence of solutions the Toda system when $\rho_1=4\pi$, $\rho_2 \in (0,4\pi)$ or $\rho_1=\rho_2=4\pi$, assuming that $h_1$ and $h_2$ are both positive. In our previous paper we extended these results to allow $h_1$ and $h_2$ to change signs in the case $\rho_1=4\pi$, $\rho_2 \in (0,4\pi)$. In this paper we further extend the study to prove that Jost-Lin-Wang's sufficient conditions remain valid even when $h_1$ and $h_2$ can change signs and $\rho_1=\rho_2=4\pi$. Our proof relies on an improved version of the Moser-Trudinger inequality for the Toda system, along with edicated analyses similar to Brezis-Merle type and the use of Pohozaev identities.

math.AP↗

arXiv2024

Optimal Liouville theorems for the Lane-Emden equation on Riemannian manifolds

We study degenerate quasilinear elliptic equations on Riemannian manifolds and obtain several Liouville theorems. Notably, we provide rigorous proof asserting the nonexistence of positive solutions to the subcritical Lane-Emden-Fowler equations over complete Riemannian manifolds with nonnegative Ricci curvature. These findings serve as a significant generalization of Gidas and Spruck's pivotal work (Comm. Pure Appl. Math. 34, 525-598, 1981) which focused on the semilinear case, as well as Serrin and Zou's contributions (Acta Math. 189, 79-142, 2002) within the context of Euclidean geometries.

math.AP↗

arXiv2024

Interfacial performance evolution of ceramics-in-polymer composite electrolyte in solid-state lithium metal batteries

The incorporation of ceramics into polymers, forming solid composite electrolytes (SCEs) leads to enhanced electrical performance of all-solid-state lithium metal batteries. This is because the dispersed ceramics particles increase the ionic conductivity, while the polymer matrix leads to better contact performance between the electrolyte and the electrode. In this study, we present a model, based on Hybrid Elements Methods, for the time-dependent Li metal and SCE rough interface mechanics, taking into account for the oxide (ceramics) inclusions (using the Equivalent Inclusion method), and the viscoelasticity of the matrix. We study the effect of LLTO particle size, weight concentration, and spatial distribution on the interface mechanical and electrical response. Moreover, considering the viscoelastic spectrum of a real PEO matrix, under a given stack pressure, we investigate the evolution over time of the mechanical and electrical performance of the interface. The presented theoretical/numerical model might be pivotal in tailoring the development of advanced solid state batteries with superior performance; indeed, we found that conditions in the SCE mixture which optimize both the contact resistivity and the interface stability in time.

cond-mat.soft↗

arXiv2024

Sinh-Gordon equations on finite graphs

In this paper, we focus on the sinh-Gordon equation on graphs. We introduce a uniform a priori estimate to define the topological degree for this equation with nonzero prescribed functions on finite, connected and symmetric graphs. Furthermore, we calculate this topological degree case by case and show several existence results. In particular, we prove that the classical sinh-Gordon equation with nonzero prescribed function is always solvable on such graphs.

math.DG↗

arXiv2023

Topological degree for Chern-Simons Higgs models on finite graphs

Let $(V,E)$ be a finite connected graph. We are concerned about the Chern-Simons Higgs model $$\Delta u=\lambda e^u(e^u-1)+f, \quad\quad\quad\quad\quad\quad{(0.1)}$$ where $\Delta$ is the graph Laplacian, $\lambda$ is a real number and $f$ is a function on $V$. When $\lambda>0$ and $f=4\pi\sum_{i=1}^N\delta_{p_i}$, $N\in\mathbb{N}$, $p_1,\cdots,p_N\in V$, the equation (0.1) was investigated by Huang, Lin, Yau (Commun. Math. Phys. 377 (2020) 613-621) and Hou, Sun (Calc. Var. 61 (2022) 139) via the upper and lower solutions principle. We now consider an arbitrary real number $\lambda$ and a general function $f$, whose integral mean is denoted by $\overline{f}$, and prove that when $\lambda\overline{f}<0$, the equation $(0.1)$ has a solution; when $\lambda\overline{f}>0$, there exist two critical numbers $\Lambda^\ast>0$ and $\Lambda_\ast<0$ such that if $\lambda\in(\Lambda^\ast,+\infty)\cup(-\infty,\Lambda_\ast)$, then $(0.1)$ has at least two solutions, including one local minimum solution; if $\lambda\in(0,\Lambda^\ast)\cup(\Lambda_\ast,0)$, then $(0.1)$ has no solution; while if $\lambda=\Lambda^\ast$ or $\Lambda_\ast$, then $(0.1)$ has at least one solution. Our method is calculating the topological degree and using the relation between the degree and the critical group of a related functional. Similar method is also applied to the Chern-Simons Higgs system, and a partial result for the multiple solutions of the system is obtained.

math.AP↗

arXiv2022

Dirac-harmonic maps with trivial index

For a homotopy class $[u]$ of maps between a closed Riemannian manifold $M$ and a general manifold $N$, we want to find a Dirac-harmonic map with the map component in the given homotopy class. Most known results require the index to be nontrivial. When the index is trivial, the few known results are all constructive and produce uncoupled solutions. In this paper, we define a new quantity. As a byproduct of proving the homotopy invariance of this new quantity, we find a new simple proof for the fact that all Dirac-harmonic spheres in surfaces are uncoupled. More importantly, by using the homotopy invariance of this new quantity, we prove the existence of Dirac-harmonic maps from manifolds in the trivial index case. In particular, when the domain is a closed Riemann surface, we prove the short-time existence of the $\alpha$-Dirac-harmonic map flow in the trivial index case. Together with the density of the minimal kernel, we get an existence result for Dirac-harmonic maps from closed Riemann surfaces to K\"ahler manifolds, which extends the previous result of the first and third authors. This establishes a general existence theory for Dirac-harmonic maps in the context of trivial index.

math.DG↗

arXiv2022

Boundary value problem for the mean field equation on a compact Riemann surface

Let $(\Sigma,g)$ be a compact Riemann surface with smooth boundary $\partial\Sigma$, $\Delta_g$ be the Laplace-Beltrami operator, and $h$ be a positive smooth function. Using a min-max scheme introduced by Djadli-Malchiodi (2006) and Djadli (2008), we prove that if $\Sigma$ is non-contractible, then for any $\rho\in(8k\pi,8(k+1)\pi)$ with $k\in\mathbb{N}^\ast$, the mean field equation $$\left\{\begin{array}{lll} \Delta_g u=\rho\frac{he^u}{\int_\Sigma he^udv_g}&{\rm in}&\Sigma\\[1.5ex] u=0&{\rm on}&\partial\Sigma \end{array}\right.$$ has a solution. This generalizes earlier existence results of Ding-Jost-Li-Wang (1999) and Chen-Lin (2003) in the Euclidean domain. Also we consider the corresponding Neumann boundary value problem. If $h$ is a positive smooth function, then for any $\rho\in(4k\pi,4(k+1)\pi)$ with $k\in\mathbb{N}^\ast$, the mean field equation $$\left\{\begin{array}{lll} \Delta_g u=\rho\left(\frac{he^u}{\int_\Sigma he^udv_g}-\frac{1}{|\Sigma|}\right)&{\rm in}&\Sigma\\[1.5ex] \partial u/\partial{\mathbf{v}}=0&{\rm on}&\partial\Sigma \end{array}\right.$$ has a solution, where $\mathbf{v}$ denotes the unit normal outward vector on $\partial\Sigma$. Note that in this case we do not require the surface to be non-contractible.

math.DG↗

arXiv2021

On $n$-dimensional complete self-similar solutions to the mean curvature flow in $\mathbb{R}^{n+1}$ with nonnegative constant scalar curvature

As is well known, self-similar solutions to the mean curvature flow, including self-shrinkers, translating solitons and self-expanders, arise naturally in the singularity analysis of the mean curvature flow. Recently, Guo \cite{Guo} proved that $n$-dimensional compact self-shrinkers in $\mathbb{R}^{n+1}$ with scalar curvature bounded from above or below by some constant are isometric to the round sphere $\mathbb{S}^n(\sqrt{n})$, which implies that $n$-dimensional compact self-shrinkers in $\mathbb{R}^{n+1}$ with constant scalar curvature are isometric to the round sphere $\mathbb{S}^n(\sqrt{n})$(see also \cite{Hui1}). Complete classifications of $n$-dimensional translating solitons in $\mathbb{R}^{n+1}$ with nonnegative constant scalar curvature and of $n$-dimensional self-expanders in $\mathbb{R}^{n+1}$ with nonnegative constant scalar curvature were given by Mart\'{i}n, Savas-Halilaj and Smoczyk\cite{MSS} and Ancari and Cheng\cite{AC}, respectively. In this paper we give complete classifications of $n$-dimensional complete self-shrinkers in $\mathbb{R}^{n+1}$ with nonnegative constant scalar curvature. We will also give alternative proofs of the classification theorems due to Mart\'{i}n, Savas-Halilaj and Smoczyk \cite{MSS} and Ancari and Cheng\cite{AC}.

math.DG↗

arXiv2021

Brouwer degree for Kazdan-Warner equations on a connected finite graph

We study Kazdan-Warner equations on a connected finite graph via the method of the degree theory. Firstly, we prove that all solutions to the Kazdan-Warner equation with nonzero prescribed function are uniformly bounded and the Brouwer degree is well defined. Secondly, we compute the Brouwer degree case by case. As consequences, we give new proofs of some known existence results for the Kazdan-Warner equation on a connected finite graph.

math.DG↗

arXiv2021

Existence results for a generalized mean field equation on a closed Riemann surface

Let $\Sigma$ be a closed Riemann surface, $h$ a positive smooth function on $\Sigma$, $\rho$ and $\alpha$ real numbers. In this paper, we study a generalized mean field equation \begin{align*} -\Delta u=\rho\left(\dfrac{he^u}{\int_\Sigma he^u}-\dfrac{1}{\mathrm{Area}\left(\Sigma\right)}\right)+\alpha\left(u-\fint_{\Sigma}u\right), \end{align*} where $\Delta$ denotes the Laplace-Beltrami operator. We first derive a uniform bound for solutions when $\rho\in (8k\pi, 8(k+1)\pi)$ for some non-negative integer number $k\in \mathbb{N}$ and $\alpha\notin\mathrm{Spec}\left(-\Delta\right)\setminus\set{0}$. Then we obtain existence results for $\alpha<\lambda_1\left(\Sigma\right)$ by using the Leray-Schauder degree theory and the minimax method, where $\lambda_1\left(\Sigma\right)$ is the first positive eigenvalue for $-\Delta$.

math.AP↗

arXiv2020

Existence of Kazdan-Warner equation with sign-changing prescribed function

In this paper, we study the following Kazdan-Warner equation with sign-changing prescribed function $h$ \begin{align*} -\Delta u=8\pi\left(\frac{he^{u}}{\int_{\Sigma}he^{u}}-1\right) \end{align*} on a closed Riemann surface whose area is equal to one. The solutions are the critical points of the functional $J_{8\pi}$ which is defined by \begin{align*} J_{8\pi}(u)=\frac{1}{16\pi}\int_{\Sigma}|\nabla u|^2+\int_{\Sigma}u-\ln\left|\int_{\Sigma}he^{u}\right|,\quad u\in H^1\left(\Sigma\right). \end{align*} We prove the existence of minimizer of $J_{8\pi}$ by assuming \begin{equation*} \Delta \ln h^++8\pi-2K>0 \end{equation*}at each maximum point of $2\ln h^++A$, where $K$ is the Gaussian curvature, $h^+$ is the positive part of $h$ and $A$ is the regular part of the Green function. This generalizes the existence result of Ding, Jost, Li and Wang [Asian J. Math. 1(1997), 230-248] to the sign-changing prescribed function case. We are also interested in the blow-up behavior of a sequence $u_{\varepsilon}$ of critical points of $J_{8\pi-\varepsilon}$ with $\int_{\Sigma}he^{u_{\varepsilon}}=1, \lim\limits_{\varepsilon\searrow 0}J_{8\pi-\varepsilon}\left(u_{\varepsilon}\right)<\infty$ and obtain the following identity during the blow-up process \begin{equation*} -\varepsilon=\frac{16\pi}{(8\pi-\varepsilon)h(p_\varepsilon)}\left[\Delta \ln h(p_\varepsilon)+8\pi-2K(p_\varepsilon)\right]\lambda_{\varepsilon}e^{-\lambda_{\varepsilon}}+O\left(e^{-\lambda_{\varepsilon}}\right), \end{equation*}where $p_\varepsilon$ and $\lambda_\varepsilon$ are the maximum point and maximum value of $u_\varepsilon$, respectively. Moreover, $p_{\varepsilon}$ converges to the blow-up point which is a critical point of the function $2\ln h^{+}+A$.

math.AP↗

arXiv2020

Rigidity theorems for minimal Lagrangian surfaces with Legendrian capillary boundary

In this note, we study minimal Lagrangian surfaces in $\mathbb{B}^4$ with Legendrian capillary boundary on $\mathbb{S}^3$. On the one hand, we prove that any minimal Lagrangian surface in $\mathbb{B}^4$ with Legendrian free boundary on $\mathbb{S}^3$ must be an equatorial plane disk. One the other hand, we show that any annulus type minimal Lagrangian surface in $\mathbb{B}^4$ with Legendrian capillary boundary on $\mathbb{S}^3$ must be congruent to one of the Lagrangian catenoids. These results confirm the conjecture proposed by Li, Wang and Weng (Sci. China Math., 2020).

math.DG↗

arXiv2020

Global existence and convergence of a flow to Kazdan-Warner equation with non-negative prescribed function

We consider an evolution problem associated to the Kazdan-Warner equation on a closed Riemann surface $(\Sigma,g)$ \begin{align*} -\Delta_{g}u=8\pi\left(\frac{he^{u}}{\int_{\Sigma}he^{u}{\rm d}\mu_{g}}-\frac{1}{\int_{\Sigma}{\rm d}\mu_{g}}\right) \end{align*} where the prescribed function $h\geq0$ and $\max_{\Sigma}h>0$. We prove the global existence and convergence under additional assumptions such as \begin{align*} \Delta_{g}\ln h(p_0)+8\pi-2K(p_0)>0 \end{align*} for any maximum point $p_0$ of the sum of $2\ln h$ and the regular part of the Green function, where $K$ is the Gaussian curvature of $\Sigma$. In particular, this gives a new proof of the existence result by Yang and Zhu [Proc. Amer. Math. Soc. 145 (2017), no. 9, 3953-3959] which generalizes existence result of Ding, Jost, Li and Wang [Asian J. Math. 1 (1997), no. 2, 230-248] to the non-negative prescribed function case.

math.AP↗

arXiv2019

UAV-enabled Secure Communication with Finite Blocklength

In the finite blocklength scenario, which is suitable for practical applications, a method of maximizing the average effective secrecy rate (AESR) is proposed for a UAV-enabled secure communication by optimizing the UAV's trajectory and transmit power subject to the UAV's mobility constraints and transmit power constraints. To address the formulated non-convex optimization problem, it is first decomposed into two non-convex subproblems. Then the two subproblems are converted respectively into two convex subproblems via the first-order approximation. Finally, an alternating iteration algorithm is developed by solving the two subproblems iteratively using successive convex approximation (SCA) technique. Numerical results show that our proposed scheme achieves a better AESR performance than both the benchmark schemes.

eess.SP↗