-
Accelerated Over-Relaxation Heavy-Ball Methods with Provable Acceleration and Global Convergence
Authors:
**grong Wei,
Long Chen
Abstract:
The heavy-ball momentum method has gained widespread popularity for accelerating gradient descent by incorporating a momentum term. Recent studies have conclusively shown that the heavy-ball method cannot achieve an accelerated convergence rate for general smooth strongly convex optimization problems. This work introduces the Accelerated Over-Relaxation Heavy-Ball (AOR-HB) method, a novel approach…
▽ More
The heavy-ball momentum method has gained widespread popularity for accelerating gradient descent by incorporating a momentum term. Recent studies have conclusively shown that the heavy-ball method cannot achieve an accelerated convergence rate for general smooth strongly convex optimization problems. This work introduces the Accelerated Over-Relaxation Heavy-Ball (AOR-HB) method, a novel approach that represents the first heavy-ball method to demonstrate provable global and accelerated convergence for smooth strongly convex optimization. The key innovation of the AOR-HB method lies in the application of an over-relaxation technique to the gradient term. This novel approach enables the method to be applied to min-max problems and meet optimal lower complexity bounds. This breakthrough addresses a long-standing theoretical gap in heavy-ball momentum methods and paves the way for develo** accelerated methods that transcend the boundaries of convex optimization to non-convex optimization. Numerical experiments validate the effectiveness of the proposed algorithms, with their performance matching that of other leading first-order optimization methods.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Convergence analysis of three semi-discrete numerical schemes for nonlocal geometric flows including perimeter terms
Authors:
Jiang Wei,
Su Chunmei,
Zhang Ganghui
Abstract:
We present and analyze three distinct semi-discrete schemes for solving nonlocal geometric flows incorporating perimeter terms. These schemes are based on the finite difference method, the finite element method, and the finite element method with a specific tangential motion. We offer rigorous proofs of quadratic convergence under $H^1$-norm for the first scheme and linear convergence under $H^1$-…
▽ More
We present and analyze three distinct semi-discrete schemes for solving nonlocal geometric flows incorporating perimeter terms. These schemes are based on the finite difference method, the finite element method, and the finite element method with a specific tangential motion. We offer rigorous proofs of quadratic convergence under $H^1$-norm for the first scheme and linear convergence under $H^1$-norm for the latter two schemes. All error estimates rely on the observation that the error of the nonlocal term can be controlled by the error of the local term. Furthermore, we explore the relationship between the convergence under $L^\infty$-norm and manifold distance. Extensive numerical experiments are conducted to verify the convergence analysis, and demonstrate the accuracy of our schemes under various norms for different types of nonlocal flows.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Critical Mass Phenomena and Blow-up behavior of Ground States in stationary second order Mean-Field Games systems with decreasing cost
Authors:
Marco Cirant,
Fanze Kong,
Juncheng Wei,
Xiaoyu Zeng
Abstract:
This paper is devoted to the study of Mean-field Games (MFG) systems in the mass critical exponent case. We firstly establish the optimal Gagliardo-Nirenberg type inequality associated with the potential-free MFG system. Then, under some mild assumptions on the potential function, we show that there exists a critical mass $M^*$ such that the MFG system admits a least energy solution if and only if…
▽ More
This paper is devoted to the study of Mean-field Games (MFG) systems in the mass critical exponent case. We firstly establish the optimal Gagliardo-Nirenberg type inequality associated with the potential-free MFG system. Then, under some mild assumptions on the potential function, we show that there exists a critical mass $M^*$ such that the MFG system admits a least energy solution if and only if the total mass of population density $M$ satisfies $M<M^*$. Moreover, the blow-up behavior of energy minimizers are captured as $M\nearrow M^*$. In particular, given the precise asymptotic expansions of the potential, we establish the refined blow-up behavior of ground states as $M\nearrow M^*.$ While studying the existence of least energy solutions, we establish new local $W^{2,p}$ estimates of solutions to Hamilton-Jacobi equations with superlinear gradient terms.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Co-existence of Type II blow-ups with multiple blow-up rates for five-dimensional heat equation with critical nonlinear boundary conditions
Authors:
Juncheng Wei,
Zikai Ye,
Xiaoyu Zeng,
Qidi Zhang
Abstract:
We consider the following five-dimensional heat equation with critical boundary condition \begin{equation*}
\partial_t u=Δu
\mbox{ \ in \ } \mathbb{R}_+^5\times (0,T) ,
\quad
-\partial_{x_5}u =|u|^\frac{2}{3}u \mbox{ \ on \ } \pp \mathbb{R}^5_+ \times (0,T) . \end{equation*} Given $\mathfrak{o}$ distinct boundary points $q^{[i]} \in \partial \mathbb{R}_+^5$, and $\mathfrak{o}$ integers…
▽ More
We consider the following five-dimensional heat equation with critical boundary condition \begin{equation*}
\partial_t u=Δu
\mbox{ \ in \ } \mathbb{R}_+^5\times (0,T) ,
\quad
-\partial_{x_5}u =|u|^\frac{2}{3}u \mbox{ \ on \ } \pp \mathbb{R}^5_+ \times (0,T) . \end{equation*} Given $\mathfrak{o}$ distinct boundary points $q^{[i]} \in \partial \mathbb{R}_+^5$, and $\mathfrak{o}$ integers $l_i\in \mathbb{N}$ (possibly duplicated), $i=1,2,\dots, \mathfrak{o}$, for $T>0$ sufficiently small, we construct a finite-time blow-up solution $u$ with a type II blow-up rate $(T-t)^{-3l_i -3}$ for $x$ near $q^{[i]}$. This seems to be the first result of the co-existence of type II blowups with different blow-up rates. To accommodate highly unstable blowups with different blowup rates, we first develop a unified linear theory for the inner problem with more time decay in the blow-up scheme through restriction on the spatial growth of the right-hand side, and then use vanishing adjustment functions for deriving multiple rates at distinct points. This paper is inspired by [25, 52, 60].
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
Recollements and $n$-cotorsion pairs
Authors:
Weiqing Cao,
Jiaqun Wei,
Kaili Wu
Abstract:
In the present paper, we study the relationships of $n$-cotorsion pairs among three abelian categories in a recollement. Under certain conditions, we present an explicit construction of gluing of $n$-cotorsion pairs in an abelian category $\mathcal{D}$ with respect to $n$-cotorsion pairs in abelian categories $\mathcal{D}^{'}$, $\mathcal{D}^{''}$ respectively. On the other hand, we study the const…
▽ More
In the present paper, we study the relationships of $n$-cotorsion pairs among three abelian categories in a recollement. Under certain conditions, we present an explicit construction of gluing of $n$-cotorsion pairs in an abelian category $\mathcal{D}$ with respect to $n$-cotorsion pairs in abelian categories $\mathcal{D}^{'}$, $\mathcal{D}^{''}$ respectively. On the other hand, we study the construction of $n$-cotorsion pairs in abelian categories $\mathcal{D}^{'}$, $\mathcal{D}^{''}$ obtained from $n$-cotorsion pairs in an abelian category $\mathcal{D}$.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
A bijection between support $τ$-tilting subcategories and $τ$-cotorsion pairs in extriangulated categories
Authors:
Zhiwei Zhu,
Jiaqun Wei
Abstract:
Let $\mathscr{C}$ be an extriangulated category with enough projectives and injectives. We give a new definition of tilting subcategories of $\mathscr{C}$ and prove it coincides with the definition given in [19]. As applications, we introduce the notions of support $τ$-tilting subcategories and $τ$-cotorsion pairs of $\mathscr{C}$. We build a bijection between support $τ$-tilting subcategories and…
▽ More
Let $\mathscr{C}$ be an extriangulated category with enough projectives and injectives. We give a new definition of tilting subcategories of $\mathscr{C}$ and prove it coincides with the definition given in [19]. As applications, we introduce the notions of support $τ$-tilting subcategories and $τ$-cotorsion pairs of $\mathscr{C}$. We build a bijection between support $τ$-tilting subcategories and certain $τ$-cotorsion pairs. Moreover, this bijection induces a bijection between tilting subcategories and certain cotorsion pairs.
△ Less
Submitted 22 April, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
Online Learning and Control Synthesis for Reachable Paths of Unknown Nonlinear Systems
Authors:
Yiming Meng,
Taha Shafa,
Jesse Wei,
Melkior Ornik
Abstract:
In this paper, we present a novel method to drive a nonlinear system to a desired state, with limited a priori knowledge of its dynamic model: local dynamics at a single point and the bounds on the rate of change of these dynamics. This method synthesizes control actions by utilizing locally learned dynamics along a trajectory, based on data available up to that moment, and known proxy dynamics, w…
▽ More
In this paper, we present a novel method to drive a nonlinear system to a desired state, with limited a priori knowledge of its dynamic model: local dynamics at a single point and the bounds on the rate of change of these dynamics. This method synthesizes control actions by utilizing locally learned dynamics along a trajectory, based on data available up to that moment, and known proxy dynamics, which can generate an underapproximation of the unknown system's true reachable set. An important benefit to the contributions of this paper is the lack of knowledge needed to execute the presented control method. We establish sufficient conditions to ensure that a controlled trajectory reaches a small neighborhood of any provably reachable state within a short time horizon, with precision dependent on the tunable parameters of these conditions.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Strongly $n$-AIR-tilting modules
Authors:
Weiqing Cao,
Jiaqun Wei
Abstract:
We introduce the notion of (strongly) $n$-AIR-tilting modules, which is a high dimension version of support $τ$-tilting modules. The relations between them and $n$-silting modules and $n$-quasi-tilting modules, as well as generalized two-term silting complexes, are investigated. Our results particularly suggest a way to negate the rank question for silting complexes.
We introduce the notion of (strongly) $n$-AIR-tilting modules, which is a high dimension version of support $τ$-tilting modules. The relations between them and $n$-silting modules and $n$-quasi-tilting modules, as well as generalized two-term silting complexes, are investigated. Our results particularly suggest a way to negate the rank question for silting complexes.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Stochastic theta methods for free stochastic differential equations
Authors:
Yuan-Ling Niu,
Jia-Xin Wei,
Zhi Yin,
Dan Zeng
Abstract:
We introduce free probability analogues of the stochastic theta methods for free stochastic differential equations, which generalize the free Euler-Maruyama method introduced by Schlüchtermann and Wibmer [27]. Under some mild conditions, we prove the strong convergence and exponential stability in mean square of the numerical solution. The free stochastic theta method with $θ=1$ can inherit the ex…
▽ More
We introduce free probability analogues of the stochastic theta methods for free stochastic differential equations, which generalize the free Euler-Maruyama method introduced by Schlüchtermann and Wibmer [27]. Under some mild conditions, we prove the strong convergence and exponential stability in mean square of the numerical solution. The free stochastic theta method with $θ=1$ can inherit the exponential stability of original equations for any given step size. Our method can offer better stability and efficiency than the free Euler-Maruyama method. Moreover, numerical results are reported to confirm these theoretical findings.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
On a conjecture of Eǧecioǧlu and Iršič
Authors:
Jianxin Wei,
Yujun Yang
Abstract:
In 2021, {Ö}. Eǧecioǧlu, V. Iršič introduced the concept of Fibonacci-run graph $\mathcal{R}_{n}$ as an induced subgraph of Hypercube. They conjectured that the diameter of $\mathcal{R}_{n}$ is given by $n-\lfloor(1+\frac{n}{2})^{\frac{1}{2}}-\frac{3}{4}\rfloor$. In this paper, we introduce the novel concept of distance-barriers between vertices in $\mathcal{R}_{n}$ and provide an elegant method t…
▽ More
In 2021, {Ö}. Eǧecioǧlu, V. Iršič introduced the concept of Fibonacci-run graph $\mathcal{R}_{n}$ as an induced subgraph of Hypercube. They conjectured that the diameter of $\mathcal{R}_{n}$ is given by $n-\lfloor(1+\frac{n}{2})^{\frac{1}{2}}-\frac{3}{4}\rfloor$. In this paper, we introduce the novel concept of distance-barriers between vertices in $\mathcal{R}_{n}$ and provide an elegant method to give lower bound for the diameter of $\mathcal{R}_{n}$ via distance-barriers. By constructing different types of distance-barriers, we show that the conjecture does not hold for all $n\geq 230$ and some of $n$ between $91$ and $229$. Furthermore, lower bounds for the diameter of some Fibonacci-run graphs are obtained, which turn out to be better than the result given in the conjecture.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
An Ohta-Kawasaki Model set on the space
Authors:
Lorena Aguirre Salazar,
Xin Yang Lu,
Jun-cheng Wei
Abstract:
We examine a non-local diffuse interface energy with Coulomb repulsion in three dimensions inspired by the Thomas-Fermi-Dirac-von Weizsäcker, and the Ohta-Kawasaki models. We consider the corresponding mass-constrained variational problem and show the existence of minimizers for small masses, and the absence of minimizers for large masses.
We examine a non-local diffuse interface energy with Coulomb repulsion in three dimensions inspired by the Thomas-Fermi-Dirac-von Weizsäcker, and the Ohta-Kawasaki models. We consider the corresponding mass-constrained variational problem and show the existence of minimizers for small masses, and the absence of minimizers for large masses.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Transformed Primal-Dual Methods with Variable-Preconditioners
Authors:
Long Chen,
Ruchi Guo,
**grong Wei
Abstract:
This paper introduces a novel Transformed Primal-Dual with variable-metric/preconditioner (TPDv) algorithm, designed to efficiently solve affine constrained optimization problems common in nonlinear partial differential equations (PDEs). Diverging from traditional methods, TPDv iteratively updates time-evolving preconditioning operators, enhancing adaptability. The algorithm is derived and analyze…
▽ More
This paper introduces a novel Transformed Primal-Dual with variable-metric/preconditioner (TPDv) algorithm, designed to efficiently solve affine constrained optimization problems common in nonlinear partial differential equations (PDEs). Diverging from traditional methods, TPDv iteratively updates time-evolving preconditioning operators, enhancing adaptability. The algorithm is derived and analyzed, demonstrating global linear convergence rates under mild assumptions. Numerical experiments on challenging nonlinear PDEs, including the Darcy-Forchheimer model and a nonlinear electromagnetic problem, showcase the algorithm's superiority over existing methods in terms of iteration numbers and computational efficiency. The paper concludes with a comprehensive convergence analysis.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
On a variational model for the continuous mechanics exhibiting hexagonal to square Phase Transitions
Authors:
Sen** Luo,
Juncheng Wei
Abstract:
Inspired by Conti and Zanzotto \cite{Conti2004A}, we reformulate a simple variational model for reconstructive phase transitions in crystals arising in continuum mechanics in the framework of Landau's theory of phase transition(with slight modification). We provide and prove that this class of modular invariant functions admit exactly hexagonal-square lattices minimizers without passing through rh…
▽ More
Inspired by Conti and Zanzotto \cite{Conti2004A}, we reformulate a simple variational model for reconstructive phase transitions in crystals arising in continuum mechanics in the framework of Landau's theory of phase transition(with slight modification). We provide and prove that this class of modular invariant functions admit exactly hexagonal-square lattices minimizers without passing through rhombic lattices, being the first rigorous result in this regard. Our result gives an affirmative answer to an open problem by in \cite{Conti2004A}. In addition, our result has independent interest from number theory.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Lump type solutions: Backlund transformation and spectral properties
Authors:
Yong Liu,
Jun-cheng Wei,
Wen Yang
Abstract:
There are various different ways to obtain traveling waves of lump type for the KP equation. We propose a general and simple approach to derive them via a Backlund transformation. This enables us to establish an explicit connection between those low energy solutions and high energy ones. Based on this construction, spectral analysis of the degree $6$ solutions is then carried out in details. The a…
▽ More
There are various different ways to obtain traveling waves of lump type for the KP equation. We propose a general and simple approach to derive them via a Backlund transformation. This enables us to establish an explicit connection between those low energy solutions and high energy ones. Based on this construction, spectral analysis of the degree $6$ solutions is then carried out in details. The analysis of higher energy ones can be done in an inductive way.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
On Dancer's conjecture for stable solutions with sign-changing nonlinearity
Authors:
Yong Liu,
Kelei Wang,
Juncheng Wei,
Ke Wu
Abstract:
We establish a Liouville type result for stable solutions for a wide class of second order semilinear elliptic equations in $\mathbb{R}^{n}$ with sign-changing nonlinearity $f$. Under the hypothesis that the equation does not have any nonconstant one dimensional stable solution, and a further nondegeneracy condition of $f$ at its zero points, we show that in any dimension, stable solutions of the…
▽ More
We establish a Liouville type result for stable solutions for a wide class of second order semilinear elliptic equations in $\mathbb{R}^{n}$ with sign-changing nonlinearity $f$. Under the hypothesis that the equation does not have any nonconstant one dimensional stable solution, and a further nondegeneracy condition of $f$ at its zero points, we show that in any dimension, stable solutions of the equation must be constant. This partially answers a question raised by Dancer.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
An overpartition analogue of Bressoud conjecture for even moduli
Authors:
Y. H. Chen,
T. T. Gu,
Thomas Y. He,
F. Tang,
J. J. Wei
Abstract:
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and…
▽ More
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$. In this paper, we introduce a new partition function $\overline{B}_0$ which can be viewed as an overpartition analogue of the partition function $B_0$. An overpartition is a partition such that the last occurrence of a part can be overlined. We build a bijection to get a relationship between $\overline{B}_0$ and $B_1$, based on which an overpartition analogue of Bressoud's conjecture for $j=0$ is obtained.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Finite-time singularity formation for the heat flow of the $H$-system
Authors:
Yannick Sire,
Juncheng Wei,
Youquan Zheng,
Yifu Zhou
Abstract:
We construct the first example of finite time blow-up solutions for the heat flow of the $H$-system, describing the evolution of surfaces with constant mean curvature \begin{equation*} \left\{ \begin{aligned} &u_t = Δu - 2u_{x_1}\wedge u_{x_2}~\quad\text{ in }~\mathbb{R}^2\times\mathbb{R}_+,\\ &u(\cdot, 0) = u_0~\qquad\qquad~\text{ in }~\mathbb{R}^2, \end{aligned} \right. \end{equation*} where…
▽ More
We construct the first example of finite time blow-up solutions for the heat flow of the $H$-system, describing the evolution of surfaces with constant mean curvature \begin{equation*} \left\{ \begin{aligned} &u_t = Δu - 2u_{x_1}\wedge u_{x_2}~\quad\text{ in }~\mathbb{R}^2\times\mathbb{R}_+,\\ &u(\cdot, 0) = u_0~\qquad\qquad~\text{ in }~\mathbb{R}^2, \end{aligned} \right. \end{equation*} where $u$: $\mathbb{R}^2\times\mathbb{R}_+\to \mathbb{R}^3$. The singularity at finite time forms as a scaled least energy $H$-bubble, denoted as $W$, exhibiting type II blow-up speed. One key observation is that the linearized operators around $W$ projected onto $W^\perp$ and in the $W$-direction are in fact decoupled. On $W^\perp$, the linearization is the linearized harmonic map heat flow, while in the $W$-direction, it is the linearized Liouville-type flow. Based on this, we also prove the non-degeneracy of the $H$-bubbles with any degree.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
A hybrid deep learning method for finite-horizon mean-field game problems
Authors:
Yu Zhang,
Zhuo **,
Jiaqin Wei,
George Yin
Abstract:
This paper develops a new deep learning algorithm to solve a class of finite-horizon mean-field games. The proposed hybrid algorithm uses Markov chain approximation method combined with a stochastic approximation-based iterative deep learning algorithm. Under the framework of finite-horizon mean-field games, the induced measure and Monte-Carlo algorithm are adopted to establish the iterative mean-…
▽ More
This paper develops a new deep learning algorithm to solve a class of finite-horizon mean-field games. The proposed hybrid algorithm uses Markov chain approximation method combined with a stochastic approximation-based iterative deep learning algorithm. Under the framework of finite-horizon mean-field games, the induced measure and Monte-Carlo algorithm are adopted to establish the iterative mean-field interaction in Markov chain approximation method and deep learning, respectively. The Markov chain approximation method plays a key role in constructing the iterative algorithm and estimating an initial value of a neural network, whereas stochastic approximation is used to find accurate parameters in a bounded region. The convergence of the hybrid algorithm is proved; two numerical examples are provided to illustrate the results.
△ Less
Submitted 21 May, 2024; v1 submitted 29 October, 2023;
originally announced October 2023.
-
A general nonuniqueness result for Yamabe-type problems for conformally variational Riemannian invariants
Authors:
João Henrique Andrade,
Jeffrey S. Case,
Paolo Piccione,
Juncheng Wei
Abstract:
Given a conformally variational scalar Riemannian invariant $I$, we identify a sufficient condition for a closed Riemannian manifold to admit finite regular coverings with many nonhomothetic conformal rescalings with $I$ constant. We also identify a sufficient condition for the universal cover to admit infinitely many geometrically distinct periodic conformal rescalings with $I$ constant. Using th…
▽ More
Given a conformally variational scalar Riemannian invariant $I$, we identify a sufficient condition for a closed Riemannian manifold to admit finite regular coverings with many nonhomothetic conformal rescalings with $I$ constant. We also identify a sufficient condition for the universal cover to admit infinitely many geometrically distinct periodic conformal rescalings with $I$ constant. Using these conditions, we improve known nonuniqueness results for the $Q$-curvatures of orders two, four, and six, and establish nonuniqueness results for higher-order $Q$-curvatures and renormalized volume coefficients.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Stochastic equations with low regularity drifts
Authors:
**long Wei,
Junhao Hu,
Chenggui Yuan
Abstract:
By using the Itô-Tanaka trick, we prove the unique strong solvability as well as the gradient estimates for stochastic differential equations with irregular drifts in low regularity Lebesgue-Hölder space $L^q(0,T;{\mathcal C}_b^α({\mathbb R}^d))$ with $α\in(0,1)$ and $q\in (2/(1+α),2$). As applications, we show the unique weak and strong solvability for stochastic transport equations driven by the…
▽ More
By using the Itô-Tanaka trick, we prove the unique strong solvability as well as the gradient estimates for stochastic differential equations with irregular drifts in low regularity Lebesgue-Hölder space $L^q(0,T;{\mathcal C}_b^α({\mathbb R}^d))$ with $α\in(0,1)$ and $q\in (2/(1+α),2$). As applications, we show the unique weak and strong solvability for stochastic transport equations driven by the low regularity drift with $q\in (4/(2+α),2$) as well as the local Lipschitz estimate for stochastic strong solutions.
△ Less
Submitted 28 October, 2023; v1 submitted 30 September, 2023;
originally announced October 2023.
-
One sided a_idempotent, one sided a_equivalent and SEP elements in a ring with involution
Authors:
Hua Yao,
Junchao Wei
Abstract:
In order to study the properties of SEP elements, we propose the concepts of one sided a_idempotent and one sided a_equivalent. Under the condition that an element in a ring is both group invertible and MP_invertible, some equivalent conditions of such an element to be an SEP element are given based on these two concepts, as will as based on projections and the second and the third power of some p…
▽ More
In order to study the properties of SEP elements, we propose the concepts of one sided a_idempotent and one sided a_equivalent. Under the condition that an element in a ring is both group invertible and MP_invertible, some equivalent conditions of such an element to be an SEP element are given based on these two concepts, as will as based on projections and the second and the third power of some products of some elements.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
Uniqueness of lump solutions of KP-I equation
Authors:
Yong Liu,
Jun-cheng Wei,
Wen Yang
Abstract:
The KP-I equation has family of solutions which decay to zero at space infinity. One of these solutions is the classical lump solution. This is a traveling wave, and the KP-I equation in this case reduces to the Boussinesq equation. In this paper we classify the lump type solutions of the Boussinesq equation. Using a robust inverse scattering transform developed by Bilman-Miller, we show that the…
▽ More
The KP-I equation has family of solutions which decay to zero at space infinity. One of these solutions is the classical lump solution. This is a traveling wave, and the KP-I equation in this case reduces to the Boussinesq equation. In this paper we classify the lump type solutions of the Boussinesq equation. Using a robust inverse scattering transform developed by Bilman-Miller, we show that the lump type solutions are rational and their tau function has to be a polynomial of degree $k(k+1)$. In particular, this implies that the lump solution is the unique ground state of the KP-I equation (as conjectured by Klein and Saut in \cite{Klein0}). Our result generalizes a theorem by Airault-McKean-Moser on the classification of rational solutions for the KdV equation.
△ Less
Submitted 19 October, 2023; v1 submitted 2 September, 2023;
originally announced September 2023.
-
Higher order Bol's inequality and its applications
Authors:
Mingxiang Li,
Juncheng Wei
Abstract:
In the conformal class of Euclidean space, we give some volume comparison theorems with help of Q-curvature. Meanwhile, for compact four dimensional manifolds with non-negative scalar curvature, we give a volume rigidity theorem with respect to Q-curvature. Finally, we make use of these results to give some sufficient and necessary conditions for the existence of solutions to some conformally inva…
▽ More
In the conformal class of Euclidean space, we give some volume comparison theorems with help of Q-curvature. Meanwhile, for compact four dimensional manifolds with non-negative scalar curvature, we give a volume rigidity theorem with respect to Q-curvature. Finally, we make use of these results to give some sufficient and necessary conditions for the existence of solutions to some conformally invariant equations which answers an open problem raised by Hyder-Martinazzi (2021, JDE).
△ Less
Submitted 18 April, 2024; v1 submitted 22 August, 2023;
originally announced August 2023.
-
Long-time dynamics for the energy critical heat equation in $R^5$
Authors:
Zaizheng Li,
Qidi Zhang,
Yifu Zhou,
Juncheng Wei
Abstract:
We investigate the long-time behavior of global solutions to the energy critical heat equation in $R^5$ \begin{equation*}
\begin{cases}
\pp_t u=Δu+|u|^{\frac{4}{3}} u ~&\mbox{ in }~ R^5 \times (t_0,\infty),
u(\cdot,t_0)=u_0~&\mbox{ in }~ R^5.
\end{cases} \end{equation*} For $t_0$ sufficiently large, we show the existence of positive solutions for a class of initial value…
▽ More
We investigate the long-time behavior of global solutions to the energy critical heat equation in $R^5$ \begin{equation*}
\begin{cases}
\pp_t u=Δu+|u|^{\frac{4}{3}} u ~&\mbox{ in }~ R^5 \times (t_0,\infty),
u(\cdot,t_0)=u_0~&\mbox{ in }~ R^5.
\end{cases} \end{equation*} For $t_0$ sufficiently large, we show the existence of positive solutions for a class of initial value $u_0(x)\sim |x|^{-γ}$ as $|x|\rightarrow \infty$ with $γ>\frac32$ such that the global solutions behave asymptotically \begin{equation*}
\| u(\cdot,t) \|_{L^\infty (\R^5)} \sim
\begin{cases}
t^{-\frac{3(2-γ)}{2}} ~&\mbox{ if }~ \frac32<γ<2
(\ln t)^{-3} ~&\mbox{ if }~ γ=2
1 ~&\mbox{ if }~ γ>2
\end{cases}
\mbox{ \ for \ } t >t_0, \end{equation*} which is slower than the self-similar time decay $t^{-\frac{3}{4}}$. These rates are inspired by Fila-King \cite[Conjecture 1.1]{FilaKing12}.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Bouncing Jacobi fields and the Allen-Cahn equation on surfaces
Authors:
Yong Liu,
Frank Pacard,
Juncheng Wei
Abstract:
The Allen-Cahn functional is a well studied variational problem which appears in the modeling of phase transition phenomenon. This functional depends on a parameter $\varepsilon >0$ and is intimately related to the area functional as the parameter $\varepsilon$ tends to $0$. In the case where the ambient manifold is a compact surface, we give sufficient assumptions which guarantee the existence of…
▽ More
The Allen-Cahn functional is a well studied variational problem which appears in the modeling of phase transition phenomenon. This functional depends on a parameter $\varepsilon >0$ and is intimately related to the area functional as the parameter $\varepsilon$ tends to $0$. In the case where the ambient manifold is a compact surface, we give sufficient assumptions which guarantee the existence of countable families of critical points of the Allen-Cahn functional whose nodal sets converge with multiplicity $2$ to a given embedded geodesic, while their energies and Morse indices stays uniformly bounded, as the parameter $\varepsilon$ tends to $0$. This result is specific to two dimensional surfaces and, for generic metric, it does not occur in higher dimension.
△ Less
Submitted 11 August, 2023;
originally announced August 2023.
-
Stability of the Caffarelli-Kohn-Nirenberg inequality: the existence of minimizers
Authors:
Juncheng Wei,
Yuanze Wu
Abstract:
In this paper, we consider the following variational problem: \begin{eqnarray*} \inf_{u\in D^{1,2}_a(\bbr^N)\backslash\mathcal{Z}}\frac{\|u\|^2_{D^{1,2}_a(\bbr^N)}-C_{a,b,N}^{-1}\|u\|^2_{L^{p+1}(|x|^{-b(p+1)},\bbr^N)}}{dist_{D^{1,2}_{a}}^2(u, \mathcal{Z})}:=c_{BE}, \end{eqnarray*} where $N\geq2$, $b_{FS}(a)<b<a+1$ for $a<0$ and $a\leq b<a+1$ for $0\leq a<a_c:=\frac{N-2}{2}$ and $a+b>0$ with…
▽ More
In this paper, we consider the following variational problem: \begin{eqnarray*} \inf_{u\in D^{1,2}_a(\bbr^N)\backslash\mathcal{Z}}\frac{\|u\|^2_{D^{1,2}_a(\bbr^N)}-C_{a,b,N}^{-1}\|u\|^2_{L^{p+1}(|x|^{-b(p+1)},\bbr^N)}}{dist_{D^{1,2}_{a}}^2(u, \mathcal{Z})}:=c_{BE}, \end{eqnarray*} where $N\geq2$, $b_{FS}(a)<b<a+1$ for $a<0$ and $a\leq b<a+1$ for $0\leq a<a_c:=\frac{N-2}{2}$ and $a+b>0$ with $b_{FS}(a)$ being the Felli-Schneider curve, $p=\frac{N+2(1+a-b)}{N-2(1+a-b)}$, $\mathcal{Z}= \{ c τ^{a_c-a}W(τx)\mid c\in\bbr\backslash\{0\}, τ>0\}$ and up to dilations and scalar multiplications, $W(x)$, which is positive and radially symmetric, is the unique extremal function of the following classical Caffarelli-Kohn-Nirenberg (CKN for short) inequality \begin{eqnarray*} \bigg(\int_{\bbr^N}|x|^{-b(p+1)}|u|^{p+1}dx\bigg)^{\frac{2}{p+1}}\leq C_{a,b,N}\int_{\bbr^N}|x|^{-2a}|\nabla u|^2dx \end{eqnarray*} with $C_{a,b,N}$ being the optimal constant. It is known in \cite{WW2022} that $c_{BE}>0$. In this paper, we prove that the above variational problem has a minimizer for $N\geq2$ under the following two assumptions: \begin{enumerate} \item[$(i)$]\quad $a_c^*\leq a<a_c$ and $a\leq b<a+1$, \item[$(ii)$]\quad $a<a_c^*$ and $b_{FS}^*(a)\leq b<a+1$, \end{enumerate} where $a_c^*=\bigg(1-\sqrt{\frac{N-1}{2N}}\bigg)a_c$ and \begin{eqnarray*} b_{FS}^*(a)=\frac{(a_c-a)N}{a_c-a+\sqrt{(a_c-a)^2+N-1}}+a-a_c. \end{eqnarray*} Our results extend that of Konig in \cite{K2023} for the Sobolev inequality to the CKN inequality. Moreover, we believe that our assumptions~$(i)$ and $(ii)$ are optimal for the existence of minimizers of the above variational problem.
△ Less
Submitted 12 September, 2023; v1 submitted 8 August, 2023;
originally announced August 2023.
-
Cluster characters for 2-Calabi-Yau Frobenius extriangulated categories
Authors:
Li Wang,
Jiaqun Wei,
Haicheng Zhang
Abstract:
We define the cluster characters for 2-Calabi-Yau Frobenius extriangulated categories with cluster tilting objects. This provides a unified framework of cluster characters in 2-Calabi-Yau triangulated categories and 2-Calabi-Yau Frobenius exact categories given by Palu and Fu-Keller, respectively
We define the cluster characters for 2-Calabi-Yau Frobenius extriangulated categories with cluster tilting objects. This provides a unified framework of cluster characters in 2-Calabi-Yau triangulated categories and 2-Calabi-Yau Frobenius exact categories given by Palu and Fu-Keller, respectively
△ Less
Submitted 6 April, 2024; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Existence, Stability and Slow Dynamics of Spikes in a 1D Minimal Keller--Segel Model with Logistic Growth
Authors:
Fanze Kong,
Michael Ward,
Juncheng Wei
Abstract:
We analyze the existence, linear stability, and slow dynamics of localized 1D spike patterns for a Keller--Segel model of chemotaxis that includes the effect of logistic growth of the cellular population. Our analysis of localized patterns for this two-component reaction-diffusion (RD) model is based, not on the usual limit of a large chemotactic drift coefficient, but instead on the singular limi…
▽ More
We analyze the existence, linear stability, and slow dynamics of localized 1D spike patterns for a Keller--Segel model of chemotaxis that includes the effect of logistic growth of the cellular population. Our analysis of localized patterns for this two-component reaction-diffusion (RD) model is based, not on the usual limit of a large chemotactic drift coefficient, but instead on the singular limit of an asymptotically small diffusivity $d_2=ε^2\ll 1$ of the chemoattractant concentration field. In the limit $d_2\ll 1$, steady-state and quasi-equilibrium 1D multi-spike patterns are constructed asymptotically. To determine the linear stability of steady-state $N$-spike patterns we analyze the spectral properties associated with both the ''large'' ${\mathcal O}(1)$ and the ''small'' $o(1)$ eigenvalues associated with the linearization of the Keller--Segel model. By analyzing a nonlocal eigenvalue problem characterizing the large eigenvalues, it is shown that $N$-spike equilibria can be destabilized by a zero-eigenvalue crossing leading to a competition instability if the cellular diffusion rate $d_1$ exceeds a threshold, or from a Hopf bifurcation if a relaxation time constant $τ$ is too large. In addition, a matrix eigenvalue problem that governs the stability properties of an $N$-spike steady-state with respect to the small eigenvalues is derived. From an analysis of this matrix problem, an explicit range of $d_1$ where the $N$-spike steady-state is stable to the small eigenvalues is identified. Finally, for quasi-equilibrium spike patterns that are stable on an ${\mathcal O}(1)$ time-scale, we derive a differential algebraic system (DAE) governing the slow dynamics of a collection of localized spikes. Unexpectedly, our analysis is rather closely related to the analysis of spike patterns for the Gierer--Meinhardt RD system.
△ Less
Submitted 29 July, 2023;
originally announced July 2023.
-
On the construction of non-simple blow-up solutions for the singular Liouville equation with a potential
Authors:
Teresa D'Aprile,
Juncheng Wei,
Lei Zhang
Abstract:
We are concerned with the existence of blowing-up solutions to the following boundary value problem $$-Δu= λV(x) e^u-4πN δ_0\;\mbox{ in } B_1,\quad u=0 \;\mbox{ on }\partial B_1,$$ where $B_1$ is the unit ball in $\mathbb R^2$ centered at the origin, $V(x)$ is a positive smooth potential, $N$ is a positive integer ($N\geq 1$). Here $δ_0$ defines the Dirac measure with pole at $0$, and $λ>0$ is a s…
▽ More
We are concerned with the existence of blowing-up solutions to the following boundary value problem $$-Δu= λV(x) e^u-4πN δ_0\;\mbox{ in } B_1,\quad u=0 \;\mbox{ on }\partial B_1,$$ where $B_1$ is the unit ball in $\mathbb R^2$ centered at the origin, $V(x)$ is a positive smooth potential, $N$ is a positive integer ($N\geq 1$). Here $δ_0$ defines the Dirac measure with pole at $0$, and $λ>0$ is a small parameter. We assume that $N=1$ and, under some suitable assumptions on the derivatives of the potential $V$ at $0$, we find a solution which exhibits a non-simple blow-up profile as $λ\to 0^+$.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
The Auslander-Reiten theory of the morphism category of projective modules
Authors:
Rasool Hafezi,
Jiaqun Wei
Abstract:
We investigate the structure of certain almost split sequences in $\mathcal{P}(Λ)$, i.e., the category of morphisms between projective modules over an Artin algebra $Λ$. The category $\mathcal{P}(Λ)$ has very nice properties and is closely related to $τ$-tilting theory, $g$-vectors, and Auslander-Reiten theory. We provide explicit constructions of certain almost split sequences ending at or starti…
▽ More
We investigate the structure of certain almost split sequences in $\mathcal{P}(Λ)$, i.e., the category of morphisms between projective modules over an Artin algebra $Λ$. The category $\mathcal{P}(Λ)$ has very nice properties and is closely related to $τ$-tilting theory, $g$-vectors, and Auslander-Reiten theory. We provide explicit constructions of certain almost split sequences ending at or starting from certain objects. Applications, such as to $g$-vectors, are given. As a byproduct, we also show that there exists an injection from Morita equivalence classes of Artin algebras to equivalence classes of 0-Auslander exact categories.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Global Existence and Aggregation of Chemotaxis-fluid Systems in Dimension Two
Authors:
Fanze Kong,
Chen-Chih Lai,
Juncheng Wei
Abstract:
To describe the cellular self-aggregation phenomenon, some strongly coupled PDEs named as Keller-Segel (KS) and Patlak-Keller-Segel (PKS) systems were proposed in 1970s. Since KS and PKS systems possess relatively simple structures but admit rich dynamics, plenty of scholars have studied them and obtained many significant results. However, the cells in general direct their movement in liquid. As a…
▽ More
To describe the cellular self-aggregation phenomenon, some strongly coupled PDEs named as Keller-Segel (KS) and Patlak-Keller-Segel (PKS) systems were proposed in 1970s. Since KS and PKS systems possess relatively simple structures but admit rich dynamics, plenty of scholars have studied them and obtained many significant results. However, the cells in general direct their movement in liquid. As a consequence, it seems more realistic to consider the influence of ambient fluid flow on the chemotactic mechanism.
Motivated by this, He et al. (SIAM J. Math. Anal., Vol. 53, No. 3, 2021) proposed a coupled Patlak-Keller-Segel-Navier-Stokes system that features the effect of the friction induced by the cells on the ambient fluid flow. In their pioneer work, the global existence of solutions of such system in 2D was established when the initial mass is strictly less than a threshold, which is referred to as the subcritical case. The last two authors and Zhou (Indiana Univ. Math. J., Vol. 72, No. 1, 2023) extended their result to the critical case. To our best knowledge, this system has only been studied in either the whole space or periodic domains.
In this paper, we consider the chemotaxis-fluid system in two-dimensional bounded domains, in which the boundary conditions are Neumann conditions for the cell density and the chemical concentration, and the Navier slip boundary condition with zero friction for the fluid velocity. We prove that the solution of the system exists globally in time with the subcritical mass. Concerning the critical mass case, we construct the boundary spot equilibrium rigorously via the inner-outer gluing method.
In particular, we develop the global $W^{2,p}$ theory for the 2D stationary Stokes system subject to Navier boundary conditions and further establish semigroup estimates of the nonstationary counterpart by analyzing the Stokes eigenvalue problem.
△ Less
Submitted 1 August, 2023; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Complete metrics with constant fractional higher order $Q$-curvature on the punctured sphere
Authors:
João Henrique Andrade,
Juncheng Wei,
Zikai Ye
Abstract:
This manuscript is devoted to constructing complete metrics with constant higher fractional curvature on punctured spheres with finitely many isolated singularities. Analytically, this problem is reduced to constructing singular solutions for a conformally invariant integro-differential equation that generalizes the critical GJMS problem. Our proof follows the earlier construction in Ao {\it et al…
▽ More
This manuscript is devoted to constructing complete metrics with constant higher fractional curvature on punctured spheres with finitely many isolated singularities. Analytically, this problem is reduced to constructing singular solutions for a conformally invariant integro-differential equation that generalizes the critical GJMS problem. Our proof follows the earlier construction in Ao {\it et al.} \cite{MR3694645}, based on a gluing method, which we briefly describe. Our main contribution is to provide a unified approach for fractional and higher order cases. This method relies on proving Fredholm properties for the linearized operator around a suitably chosen approximate solution. The main challenge in our approach is that the solutions to the related blow-up limit problem near isolated singularities need to be fully classified; hence we are not allowed to use a simplified ODE method. To overcome this issue, we approximate solutions near each isolated singularity by a family of half-bubble tower solutions. Then, we reduce our problem to solving an (infinite-dimensional) Toda-type system arising from the interaction between the bubble towers at each isolated singularity. Finally, we prove that this system's solvability is equivalent to the existence of a balanced configuration.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Nonuniqueness results for constant sixth order $Q$-curvature metrics on spheres with higher dimensional singularities
Authors:
João Henrique Andrade,
Paolo Piccione,
Juncheng Wei
Abstract:
We prove nonuniqueness results for constant sixth order $Q$-metrics on complete locally conformally flat $n$-dimensional Riemannian manifolds with $n\geqslant 7$. More precisely, assuming a positive Green function exists for the sixth order GJMS operator, our objective is two-fold. First, we use a classical bifurcation technique to prove that there exists infinitely many constant $Q$-curvature met…
▽ More
We prove nonuniqueness results for constant sixth order $Q$-metrics on complete locally conformally flat $n$-dimensional Riemannian manifolds with $n\geqslant 7$. More precisely, assuming a positive Green function exists for the sixth order GJMS operator, our objective is two-fold. First, we use a classical bifurcation technique to prove that there exists infinitely many constant $Q$-curvature metrics on $\mathbb{S}^1\times\mathbb{S}^{n-1}$. As a by-product, we find the sixth order Yamabe invariant on this product manifold can be arbitrarily close to that of the round dimensional sphere, generalizing a result of Schoen about the classical Yamabe invariant. Second, when the underlying manifold is noncompact, we apply a bifurcation technique on Riemannian covering to construct infinitely many complete metrics with constant sixth order $Q$-curvature conformal to $\mathbb{S}^{n_1} \times \mathbb{R}^{n_2}$ or $\mathbb{S}^{n_1} \times \mathbb{H}^{n_2}$, where $n_1+n_2\geqslant 7$. Consequently, we obtain infinitely many solutions to the singular constant GJMS equation on round spheres $\mathbb{S}^n\setminus \mathbb{S}^k$ blowing up along a minimal equatorial subsphere with $0 \leqslant k<\frac{n-6}{2}$; this dimension restriction is sharp in the topological sense.
△ Less
Submitted 30 June, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Some Separable integer partition classes
Authors:
Y. H. Chen,
Thomas Y. He,
F. Tang,
J. J. Wei
Abstract:
Recently, Andrews introduced separable integer partition classes and analyzed some well-known theorems. In this paper, we investigate partitions with parts separated by parity introduced by Andrews with the aid of separable integer partition classes with modulus $2$. We also extend separable integer partition classes with modulus $1$ to overpartitions, called separable overpartition classes. We st…
▽ More
Recently, Andrews introduced separable integer partition classes and analyzed some well-known theorems. In this paper, we investigate partitions with parts separated by parity introduced by Andrews with the aid of separable integer partition classes with modulus $2$. We also extend separable integer partition classes with modulus $1$ to overpartitions, called separable overpartition classes. We study overpartitions and the overpartition analogue of Rogers-Ramanujan identities, which are separable overpartition classes.
△ Less
Submitted 27 October, 2023; v1 submitted 22 May, 2023;
originally announced May 2023.
-
On Beckner's Inequality for Axially Symmetric Functions on $\mathbb{S}^6$
Authors:
Changfeng Gui,
Tuoxin Li,
Juncheng Wei,
Zikai Ye
Abstract:
We prove that axially symmetric solutions to the $Q$-curvature type problem $$ αP_6 u + 120(1-\frac{e^{6u}}{\int_{\mathbb{S}^6} e^{6u}})=0 \ \ \ \ \ \mbox{on} \ \mathbb{S}^6 $$ must be constants, provided that $ \frac{1}{2}\leq α<1$. In view of the existence of non-constant solutions obtained by Gui-Hu-Xie \cite{GHW2022} for $\frac{1}{7}<α<\frac{1}{2}$, this result is sharp. This result closes the…
▽ More
We prove that axially symmetric solutions to the $Q$-curvature type problem $$ αP_6 u + 120(1-\frac{e^{6u}}{\int_{\mathbb{S}^6} e^{6u}})=0 \ \ \ \ \ \mbox{on} \ \mathbb{S}^6 $$ must be constants, provided that $ \frac{1}{2}\leq α<1$. In view of the existence of non-constant solutions obtained by Gui-Hu-Xie \cite{GHW2022} for $\frac{1}{7}<α<\frac{1}{2}$, this result is sharp. This result closes the gap of the related results in \cite{GHW2022}, which proved a similar uniqueness result for $α\geq 0.6168$. The improvement is based on two types of new estimates: one is a better estimate of the semi-norm $\lfloor G\rfloor^2$, the other one is a family of refined estimates on Gegenbauer coefficients, such as pointwise decaying and cancellations properties.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Some properties of congruence lattices of path semigroups
Authors:
Yongle Luo,
Zhengpan Wang,
Jiaqun Wei
Abstract:
Each quiver corresponds to a path semigroup, and such a path semigroup also corresponds to an associative K-algebra over an algebraically closed field K. Let Q be a quiver and S_Q, KQ be its path semigroup, path algebra, respectively. In this paper, we study some properties of the congruence lattice of S_Q. First, we show that there is a one-to-one correspondence between congruences on S and certa…
▽ More
Each quiver corresponds to a path semigroup, and such a path semigroup also corresponds to an associative K-algebra over an algebraically closed field K. Let Q be a quiver and S_Q, KQ be its path semigroup, path algebra, respectively. In this paper, we study some properties of the congruence lattice of S_Q. First, we show that there is a one-to-one correspondence between congruences on S and certain algebraic ideals of KQ. Based on such a description, we consider acyclic quivers and show that the congruence latices of such path semigroups are strong upper semimodular but not necessarily lower semimodular. Moreover, we provide some equivalent conditions for the congruence lattices to be modular and distributive.
△ Less
Submitted 28 May, 2024; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Boolean lattices of torsion classes over finite-dimensional algebras
Authors:
Yongle Luo,
Jiaqun Wei
Abstract:
It has been proved in [5] that the collection of all torsion classes over a finite-dimensional algebra is always a completely semidistributive lattice. In the present paper, we considered the semimodularity and distributivity of the collection of (functorially finite) torsion classes. In such cases, some equivalent descriptions of the algebra are described.
It has been proved in [5] that the collection of all torsion classes over a finite-dimensional algebra is always a completely semidistributive lattice. In the present paper, we considered the semimodularity and distributivity of the collection of (functorially finite) torsion classes. In such cases, some equivalent descriptions of the algebra are described.
△ Less
Submitted 3 June, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Distributivity in congruence lattices of graph inverse semigroups
Authors:
Yongle Luo,
Zhengpan Wang,
Jiaqun Wei
Abstract:
Let Γ be a directed graph and Inv(Γ) be the graph inverse semigroup of Γ. Luo and Wang [7] showed that the congruence lattice C(Inv(Γ)) of any graph inverse semigroup Inv(Γ) is upper semimodular, but not lower semimodular in general. Anagnostopoulou-Merkouri, Mesyan and Mitchell characterized the directed graph Γ for which C(Inv(Γ)) is lower semimodular [2]. In the present paper, we show that the…
▽ More
Let Γ be a directed graph and Inv(Γ) be the graph inverse semigroup of Γ. Luo and Wang [7] showed that the congruence lattice C(Inv(Γ)) of any graph inverse semigroup Inv(Γ) is upper semimodular, but not lower semimodular in general. Anagnostopoulou-Merkouri, Mesyan and Mitchell characterized the directed graph Γ for which C(Inv(Γ)) is lower semimodular [2]. In the present paper, we show that the lower semimodularity, modularity and distributivity in the congruence lattice C(Inv(Γ)) of any graph inverse semigroup Inv(Γ) are equivalent.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Accelerated Gradient and Skew-Symmetric Splitting Methods for a Class of Monotone Operator Equations
Authors:
Long Chen,
**grong Wei
Abstract:
A class of monotone operator equations, which can be decomposed into sum of a gradient of a strongly convex function and a linear and skew-symmetric operator, is considered in this work. Based on discretization of the generalized gradient flow, gradient and skew-symmetric splitting (GSS) methods are proposed and proved to convergent in linear rate. To further accelerate the convergence, an acceler…
▽ More
A class of monotone operator equations, which can be decomposed into sum of a gradient of a strongly convex function and a linear and skew-symmetric operator, is considered in this work. Based on discretization of the generalized gradient flow, gradient and skew-symmetric splitting (GSS) methods are proposed and proved to convergent in linear rate. To further accelerate the convergence, an accelerated gradient flow is proposed and accelerated gradient and skew-symmetric splitting (AGSS) methods are developed, which extends the acceleration among the existing works on the convex minimization to a more general class of monotone operator equations. In particular, when applied to smooth saddle point systems with bilinear coupling, an accelerated transformed primal-dual (ATPD) method is proposed and shown to achieve linear rates with optimal lower iteration complexity.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Compactness of singular solutions to the sixth order GJMS equation
Authors:
João Henrique Andrade,
João Marcos do Ò,
Jesse Ratzkin,
Juncheng Wei
Abstract:
We study compactness properties of the set of conformally flat singular metrics with constant, positive sixth order Q-curvature on a finitely punctured sphere. Based on a recent classification of the local asymptotic behavior near isolated singularities, we introduce a notion of necksize for these metrics in our moduli space, which we use to characterize compactness. More precisely, we prove that…
▽ More
We study compactness properties of the set of conformally flat singular metrics with constant, positive sixth order Q-curvature on a finitely punctured sphere. Based on a recent classification of the local asymptotic behavior near isolated singularities, we introduce a notion of necksize for these metrics in our moduli space, which we use to characterize compactness. More precisely, we prove that if the punctures remain separated and the necksize at each puncture is bounded away from zero along a sequence of metrics, then a subsequence converges with respect to the Gromov--Hausdorff metric. Our proof relies on an upper bound estimate which is proved using moving planes and a blow-up argument. This is combined with a lower bound estimate which is a consequence of a removable singularity theorem. We also introduce a homological invariant which may be of independent interest for upcoming research.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
On lattice hexagonal crystallization for non-monotone potentials
Authors:
Sen** Luo,
Juncheng Wei
Abstract:
Let $L =\sqrt{\frac{1}{\Im(z)}}\Big({\mathbb Z}\oplus z{\mathbb Z}\Big)$ where $z \in \mathbb{H}=\{z= x+ i y\;\hbox{or}\;(x,y)\in\mathbb{C}: y>0\}$ be the two dimensional lattices with unit density. Assuming that $α\geq1$, we prove that \begin{equation}\aligned\nonumber \min_{L}\sum_{\mathbb{P}\in L, |L|=1}|\mathbb{P}|^2 e^{- πα|\mathbb{P}|^2} \endaligned\end{equation} is achieved at hexagonal lat…
▽ More
Let $L =\sqrt{\frac{1}{\Im(z)}}\Big({\mathbb Z}\oplus z{\mathbb Z}\Big)$ where $z \in \mathbb{H}=\{z= x+ i y\;\hbox{or}\;(x,y)\in\mathbb{C}: y>0\}$ be the two dimensional lattices with unit density. Assuming that $α\geq1$, we prove that \begin{equation}\aligned\nonumber \min_{L}\sum_{\mathbb{P}\in L, |L|=1}|\mathbb{P}|^2 e^{- πα|\mathbb{P}|^2} \endaligned\end{equation} is achieved at hexagonal lattice. More generally we prove that for $α\geq 1$ \begin{equation}\aligned\nonumber \min_{L}\sum_{\mathbb{P}\in L, |L|=1}(|\mathbb{P}|^2-\frac{b}α) e^{- πα|\mathbb{P}|^2} \endaligned\end{equation} is achieved at hexagonal lattice for $b\leq\frac{1}{2π}$ and does not exist for $b>\frac{1}{2π}$. As a consequence, we provide two classes of non-monotone potentials which lead to hexagonal crystallization among lattices. Our results partially answer some questions raised in \cite{Oreport, Bet2016, Bet2018, Bet2019AMP} and extend the main results in \cite{LW2022} on minima of difference of two theta functions.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Trichotomy dynamics of the 1-equivariant harmonic map flow
Authors:
Juncheng Wei,
Qidi Zhang,
Yifu Zhou
Abstract:
For the 1-equivariant harmonic map flow from $ R^2$ into $S^2$ \begin{equation*} \left\{ \begin{aligned} &v_t=v_{rr}+\frac{v_r}{r} - \frac{\sin(2v)}{2r^2} , ~\quad(r,t)\in R_+\times (t_0,+\infty),\\ &v(r,t_0)=v_0, \qquad\qquad\qquad\quad r\in R_+, \end{aligned} \right. \end{equation*} we construct global growing, bounded and decaying solutions with the initial data $v_0(r)$ satisfying…
▽ More
For the 1-equivariant harmonic map flow from $ R^2$ into $S^2$ \begin{equation*} \left\{ \begin{aligned} &v_t=v_{rr}+\frac{v_r}{r} - \frac{\sin(2v)}{2r^2} , ~\quad(r,t)\in R_+\times (t_0,+\infty),\\ &v(r,t_0)=v_0, \qquad\qquad\qquad\quad r\in R_+, \end{aligned} \right. \end{equation*} we construct global growing, bounded and decaying solutions with the initial data $v_0(r)$ satisfying $$v_0(0)=π~\mbox{ and }~ v_0(r)\sim r^{1-γ} ~\mbox{ as }~ r\to+\infty, \quad γ>1.$$ These global solutions exhibit the following trichotomy long-time asymptotic behavior \begin{equation*} \| v_r(\cdot,t) \|_{L^\infty ([0,\infty))} \sim \begin{cases} t^{\frac{γ-2}{2}}\ln t ~&\mbox{ if }~ 1<γ<2,\\ 1 ~&\mbox{ if }~ γ=2,\\ \ln t ~&\mbox{ if }~ γ>2,\\ \end{cases} ~\mbox{ as }~ t\to +\infty. \end{equation*}
△ Less
Submitted 22 January, 2023;
originally announced January 2023.
-
On Minima of Difference of Epstein Zeta Functions and Exact Solutions to Lennard-Jones Lattice Energy
Authors:
Sen** Luo,
Juncheng Wei
Abstract:
Let $ζ(s,z)=\sum_{(m,n)\in\mathbb{Z}^2\backslash\{0\}}\frac{(\Im(z))^s}{|mz+n|^{2s}}$ be the Eisenstein series/Epstein Zeta function. Motivated by widely used Lennard-Jones potential
\begin{equation}\aligned\nonumber \mathcal{V}(|\cdot|^2):=4\varepsilon\Big( (\fracσ{|\cdot|})^{12}-(\fracσ{|\cdot|})^{6} \Big), \endaligned\end{equation}
in physics, in this paper, we consider the following lattic…
▽ More
Let $ζ(s,z)=\sum_{(m,n)\in\mathbb{Z}^2\backslash\{0\}}\frac{(\Im(z))^s}{|mz+n|^{2s}}$ be the Eisenstein series/Epstein Zeta function. Motivated by widely used Lennard-Jones potential
\begin{equation}\aligned\nonumber \mathcal{V}(|\cdot|^2):=4\varepsilon\Big( (\fracσ{|\cdot|})^{12}-(\fracσ{|\cdot|})^{6} \Big), \endaligned\end{equation}
in physics, in this paper, we consider the following lattice minimization problem \begin{equation}\aligned\nonumber \min_{z\in\mathbb{H}}\Big(ζ(6,z)-bζ(3,z)\Big), \;\;b=\frac{1}{σ^6} \endaligned\end{equation}
and completely classify the minimizers for all $b\in \R$. Our results resolve an open problem in Blanc-Lewin \cite{Bla2015}, and a conjecture by Bétermin \cite{Bet2018}. Furthermore, our method of proofs works for general minimization problem \begin{equation}\aligned\nonumber \min_{z\in\mathbb{H}}\Big(ζ(s_1,z)-bζ(s_2,z)\Big), \;\;s_1>s_2>1 \endaligned\end{equation} which corresponds to general Lennard-Jones potential
\begin{equation}\aligned\nonumber \mathcal{V}(|\cdot|^2):=4\varepsilon\Big( (\fracσ{|\cdot|})^{2s_1}-(\fracσ{|\cdot|})^{2s_2} \Big),\;\;s_1>s_2>1. \endaligned\end{equation}
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
On Sharp Beckner's Inequality for Axially Symmetric Functions on $\mathbb{S}^4$
Authors:
Tuoxin Li,
Juncheng Wei,
Zikai Ye
Abstract:
We prove a sharp Beckner's inequality for axially symmetric functions on $S^4$. The key ingredients of our proof is some pointwise quantitative properties of Gegenbauer polynomials.
We prove a sharp Beckner's inequality for axially symmetric functions on $S^4$. The key ingredients of our proof is some pointwise quantitative properties of Gegenbauer polynomials.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Sincere silting modules and vanishing conditions
Authors:
Jifen Liu,
Jiaqun Wei
Abstract:
Let $R$ be a perfect ring and $T$ be an $R$-module. We study characterizations of sincere modules, sincere silting modules and tilting modules in terms of various vanishing conditions. It is proved that $T$ is sincere silting if and only if $T$ is presilting satisfing the vanishing condition $\mathrm{KerExt}^{0\le i\le 1}_R(T,-)=0$, and that $T$ is tilting if and only if…
▽ More
Let $R$ be a perfect ring and $T$ be an $R$-module. We study characterizations of sincere modules, sincere silting modules and tilting modules in terms of various vanishing conditions. It is proved that $T$ is sincere silting if and only if $T$ is presilting satisfing the vanishing condition $\mathrm{KerExt}^{0\le i\le 1}_R(T,-)=0$, and that $T$ is tilting if and only if $\mathrm{Ker}\mathrm{Ext}^{0\leqslant i\leqslant 1}_{R}(T,-)=0$ and $\mathrm{Gen}T\subseteq \mathrm{Ker}\mathrm{Ext}^{1\leqslant i\leqslant 2}_{R}(T,-)$. As an application, we prove that a sincere silting $R$-module $T$ of finite projective dimension is tilting if and only if $\mathrm{Ext}^{i}_{R}(T,T^{(J)})=0$ for all sets $J$ and all integer $i\ge 1$. This not only extends a main result of Zhang [14]from finitely generated modules over Artin algebras to infinitely generated modules over more general rings, but also gives it a different proof without using the functor $τ$ and Auslander-Reiten formula.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Asymptotics for positive singular solutions to subcritical sixth order equations
Authors:
João Henrique Andrade,
Juncheng Wei
Abstract:
We classify the local asymptotic behavior of positive singular solutions to a class of subcritical sixth order equations on the punctured ball. Initially, using a version of the integral moving spheres technique, we prove that solutions are asymptotically radially symmetric solutions with respect to the origin. We divide our approach into some cases concerning the growth of nonlinearity. In genera…
▽ More
We classify the local asymptotic behavior of positive singular solutions to a class of subcritical sixth order equations on the punctured ball. Initially, using a version of the integral moving spheres technique, we prove that solutions are asymptotically radially symmetric solutions with respect to the origin. We divide our approach into some cases concerning the growth of nonlinearity. In general, we use an Emden--Fowler change of variables to translate our problem to a cylinder. In the lower critical regime, this is not enough, thus, we need to introduce a new notion of change of variables. The difficulty is that the cylindrical PDE in this coordinate system is nonautonomous. Nonetheless, we define an associated nonautonomous Pohozaev functional, which can be proved to be asymptotically monotone. In addition, we show a priori estimates for these two functionals, from which we extract compactness properties. With this ingredients, we can perform an asymptotic analysis technique to prove our main result.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Finite-time singularity formations for the Landau-Lifshitz-Gilbert equation in dimension two
Authors:
Juncheng Wei,
Qidi Zhang,
Yifu Zhou
Abstract:
We construct finite time blow-up solutions to the Landau-Lifshitz-Gilbert equation (LLG) from ${\mathbb R}^2$ into $S^2$ \begin{equation*} \begin{cases} u_t= a(Δu+|\nabla u|^2u) -b u\wedge Δu &\ \mbox{ in }\ {\mathbb R}^2\times(0,T), u(\cdot,0) = u_0\in S^2 &\ \mbox{ in }\ {\mathbb R}^2, \end{cases} \end{equation*} where $a^2+b^2=1,~a > 0,~ b\in {\mathbb R}$. Given any prescribed $N$ points in…
▽ More
We construct finite time blow-up solutions to the Landau-Lifshitz-Gilbert equation (LLG) from ${\mathbb R}^2$ into $S^2$ \begin{equation*} \begin{cases} u_t= a(Δu+|\nabla u|^2u) -b u\wedge Δu &\ \mbox{ in }\ {\mathbb R}^2\times(0,T), u(\cdot,0) = u_0\in S^2 &\ \mbox{ in }\ {\mathbb R}^2, \end{cases} \end{equation*} where $a^2+b^2=1,~a > 0,~ b\in {\mathbb R}$. Given any prescribed $N$ points in $\mathbb{R}^2$ and small $T>0$, we prove that there exists regular initial data such that the solution blows up precisely at these points at finite time $t=T$, taking around each point the profile of sharply scaled degree 1 harmonic map with the type II blow-up speed \begin{equation*} \| \nabla u\|_{L^\infty } \sim \frac{|\ln(T-t)|^2}{ T-t } \ \mbox{ as } \ t\to T. \end{equation*} The proof is based on the {\em parabolic inner-outer gluing method}, developed in \cite{17HMF} for Harmonic Map Flow (HMF). However, a direct consequence of the presence of dispersion is the {\em lack of maximum principle} for suitable quantities, which makes the analysis more delicate even at the linearized level. To overcome this difficulty, we make use of two key technical ingredients: first, for the inner problem we employ the tool of {\em distorted Fourier transform}, as developed by Krieger, Miao, Schlag and Tataru \cite{Krieger09Duke,KMS20WM}. Second, the linear theory for the outer problem is achieved by means of the sub-Gaussian estimate for the fundamental solution of parabolic system in non-divergence form with coefficients of Dini mean oscillation in space ($\mathsf{DMO_x}$), which was proved by Dong, Kim and Lee \cite{dong22-non-divergence} recently.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Classification for positive singular solutions to critical sixth order equations
Authors:
João Henrique Andrade,
Juncheng Wei
Abstract:
We classify entire positive singular solutions to a family of critical sixth order equations in the punctured space with a non-removable singularity at the origin. More precisely, we show that when the origin is a non-removable singularity, solutions are given by a singular radial factor times a periodic solution to a sixth order IVP with constant coefficients. On the technical level, we combine i…
▽ More
We classify entire positive singular solutions to a family of critical sixth order equations in the punctured space with a non-removable singularity at the origin. More precisely, we show that when the origin is a non-removable singularity, solutions are given by a singular radial factor times a periodic solution to a sixth order IVP with constant coefficients. On the technical level, we combine integral sliding methods and qualitative analysis of ODEs, based on a conservation of energy result, to perform a topological two-parameter shooting technique. We first use the integral representation of our equation to run a moving spheres technique, which proves that solutions are radially symmetric with respect to the origin. Thus, in Emden--Fowler coordinates, we can reduce our problem to the study of an sixth order autonomous ODE with constant coefficients. The main heuristics behind our arguments is that since all the indicial roots of the ODE operator are positive, it can be decomposed into the composition of three second order operators satisfying a comparison principle. This allows us to define a Hamiltonian energy which is conserved along solutions, from which we extract their qualitative properties, such as uniqueness, boundedness, asymptotic behavior, and classification.
△ Less
Submitted 26 October, 2022; v1 submitted 9 October, 2022;
originally announced October 2022.
-
On Fila-King Conjecture in Dimension Four
Authors:
Juncheng Wei,
Qidi Zhang,
Yifu Zhou
Abstract:
We consider the following Cauchy problem for the four-dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=Δu+u^{3} ~&\mbox{ in }~ {\mathbb R}^4 \times (0,\infty),\\ u(x,0)=u_0(x) ~&\mbox{ in }~ {\mathbb R}^4. \end{cases} \end{equation*}
We construct a positive infinite time blow-up solution $u(x,t)$ with the blow-up rate…
▽ More
We consider the following Cauchy problem for the four-dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=Δu+u^{3} ~&\mbox{ in }~ {\mathbb R}^4 \times (0,\infty),\\ u(x,0)=u_0(x) ~&\mbox{ in }~ {\mathbb R}^4. \end{cases} \end{equation*}
We construct a positive infinite time blow-up solution $u(x,t)$ with the blow-up rate $ \| u(\cdot,t)\|_{L^\infty({\mathbb R}^4)} \sim \ln t$ as $t\to \infty$ and show the stability of the infinite time blow-up. This gives a rigorous proof of a conjecture by Fila and King \cite[Conjecture 1.1]{filaking12}.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Infinitely many nonradial positive solutions for multi-species nonlinear Schrödinger systems in ${\mathbb R}^N$
Authors:
Tuoxin Li,
Juncheng Wei,
Yuanze Wu
Abstract:
In this paper, we consider the multi-species nonlinear Schrödinger systems in $\bbr^N$:
\begin{equation*}
\left\{\aligned&-Δu_j+V_j(x)u_j=μ_ju_j^3+\sum_{i=1;i\not=j}^dβ_{i,j} u_i^2u_j\quad\text{in }\bbr^N,
&u_j(x)>0\quad\text{in } {\mathbb R}^N,
&u_j(x)\to0\quad\text{as }|x|\to+\infty,\quad j=1,2,\cdots,d,\endaligned\right.
\end{equation*}
where $N=2,3$, $μ_j>0$ are constants,…
▽ More
In this paper, we consider the multi-species nonlinear Schrödinger systems in $\bbr^N$:
\begin{equation*}
\left\{\aligned&-Δu_j+V_j(x)u_j=μ_ju_j^3+\sum_{i=1;i\not=j}^dβ_{i,j} u_i^2u_j\quad\text{in }\bbr^N,
&u_j(x)>0\quad\text{in } {\mathbb R}^N,
&u_j(x)\to0\quad\text{as }|x|\to+\infty,\quad j=1,2,\cdots,d,\endaligned\right.
\end{equation*}
where $N=2,3$, $μ_j>0$ are constants, $β_{i,j}=β_{j,i}\not=0$ are coupling parameters, $d\geq2$ and $V_j(x)$ are potentials. By Ljapunov-Schmidt reduction arguments, we construct infinitely many nonradial positive solutions of the above system under some mild assumptions on potentials $V_j(x)$ and coupling parameters $\{β_{i,j}\}$, {\it without any symmetric assumptions on the limit case of the above system}. Our result, giving a positive answer to the conjecture in Pistoia and Vaira \cite{PV22} and extending the results in \cite{PW13,PV22}, reveals {\it new phenomenon} in the case of $N=2$ and $d=2$ and is {\it almost optimal} for the coupling parameters $\{β_{i,j}\}$.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
