-
Testing Approximate Stationarity Concepts for Piecewise Affine Functions
Authors:
Lai Tian,
Anthony Man-Cho So
Abstract:
We study the basic computational problem of detecting approximate stationary points for continuous piecewise affine (PA) functions. Our contributions span multiple aspects, including complexity, regularity, and algorithms. Specifically, we show that testing first-order approximate stationarity concepts, as defined by commonly used generalized subdifferentials, is computationally intractable unless…
▽ More
We study the basic computational problem of detecting approximate stationary points for continuous piecewise affine (PA) functions. Our contributions span multiple aspects, including complexity, regularity, and algorithms. Specifically, we show that testing first-order approximate stationarity concepts, as defined by commonly used generalized subdifferentials, is computationally intractable unless P=NP. To facilitate computability, we consider a polynomial-time solvable relaxation by abusing the convex subdifferential sum rule and establish a tight characterization of its exactness. Furthermore, addressing an open issue motivated by the need to terminate the subgradient method in finite time, we introduce the first oracle-polynomial-time algorithm to detect so-called near-approximate stationary points for PA functions.
A notable byproduct of our development in regularity is the first necessary and sufficient condition for the validity of an equality-type (Clarke) subdifferential sum rule. Our techniques revolve around two new geometric notions for convex polytopes and may be of independent interest in nonsmooth analysis. Moreover, some corollaries of our work on complexity and algorithms for stationarity testing address open questions in the literature. To demonstrate the versatility of our results, we complement our findings with applications to a series of structured piecewise smooth functions, including $ρ$-margin-loss SVM, piecewise affine regression, and nonsmooth neural networks.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
Optimal investment problem in a renewal risk model with generalized Erlang distributed interarrival times
Authors:
Linlin Tian,
Yixuan Tian,
Bohan Li,
Guoqing Li
Abstract:
This paper explores the optimal investment problem of a renewal risk model with generalized Erlang distributed interarrival times. The phases of the Erlang interarrival time is assumed to be observable. The price of the risky asset is driven by the constant elasticity of variance model (CEV) and the insurer aims to maximize the exponential utility of the terminal wealth by asset allocation. By sol…
▽ More
This paper explores the optimal investment problem of a renewal risk model with generalized Erlang distributed interarrival times. The phases of the Erlang interarrival time is assumed to be observable. The price of the risky asset is driven by the constant elasticity of variance model (CEV) and the insurer aims to maximize the exponential utility of the terminal wealth by asset allocation. By solving the corresponding Hamilton-Jacobi-Bellman (HJB) equation, we establish the concavity of the value function and derive an explicit expression for the optimal investment policy when the interest rate is zero. When the interest rate is nonzero, we obtain an explicit form of the optimal investment strategy, along with a semi-explicit expression of the value function, whose concavity is also rigorously proven.
△ Less
Submitted 3 June, 2025; v1 submitted 20 November, 2024;
originally announced November 2024.
-
Statistical inference of partially linear time-varying coefficients spatial autoregressive panel data model
Authors:
Lingling Tian,
Chuanhua Wei,
Mixia Wu
Abstract:
This paper investigates a partially linear spatial autoregressive panel data model that incorporates fixed effects, constant and time-varying regression coefficients, and a time-varying spatial lag coefficient. A two-stage least squares estimation method based on profile local linear dummy variables (2SLS-PLLDV) is proposed to estimate both constant and time-varying coefficients without the need f…
▽ More
This paper investigates a partially linear spatial autoregressive panel data model that incorporates fixed effects, constant and time-varying regression coefficients, and a time-varying spatial lag coefficient. A two-stage least squares estimation method based on profile local linear dummy variables (2SLS-PLLDV) is proposed to estimate both constant and time-varying coefficients without the need for first differencing. The asymptotic properties of the estimator are derived under certain conditions. Furthermore, a residual-based goodness-of-fit test is constructed for the model, and a residual-based bootstrap method is used to obtain p-values. Simulation studies show the good performance of the proposed method in various scenarios. The Chinese provincial carbon emission data set is analyzed for illustration.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
The Extension dimension of syzygy module categories
Authors:
Junling Zheng,
Lulu Tian,
Qianyu Shu,
Jinbi Zhang
Abstract:
In this paper, our primary focus is on investigating the extension dimensions of syzygy module categories associated with Artin algebras, particularly under various equivalences. We demonstrate that, for sufficiently large $i$, the $i$-th syzygy module categories of derived equivalent algebras exhibit identical extension dimensions. Furthermore, we establish that the extension dimension of the…
▽ More
In this paper, our primary focus is on investigating the extension dimensions of syzygy module categories associated with Artin algebras, particularly under various equivalences. We demonstrate that, for sufficiently large $i$, the $i$-th syzygy module categories of derived equivalent algebras exhibit identical extension dimensions. Furthermore, we establish that the extension dimension of the $i$-th syzygy module category is an invariant under both stable equivalence and separable equivalence for each nonnegative integer $i$.
△ Less
Submitted 5 May, 2024;
originally announced May 2024.
-
Measure upper bounds of nodal sets of solutions to Dirichlet problem of Schrödinger equations
Authors:
Hairong Liu,
Long Tian,
Xiaoping Yang
Abstract:
In this paper, we focus on estimating measure upper bounds of nodal sets of solutions to the following boundary value problem \begin{equation*} \left\{ \begin{array}{lll} Δu+Vu=0\quad \mbox{in}\ Ω,\\[2mm] u=0\quad \mbox{on}\ \partialΩ, \end{array}\right. \end{equation*} where $V\in W^{1,\infty}(Ω)$ is a potential and $Ω\subset \mathbb{R}^n (n\geq2)$ is a bounded domain. We show that upper bounds o…
▽ More
In this paper, we focus on estimating measure upper bounds of nodal sets of solutions to the following boundary value problem \begin{equation*} \left\{ \begin{array}{lll} Δu+Vu=0\quad \mbox{in}\ Ω,\\[2mm] u=0\quad \mbox{on}\ \partialΩ, \end{array}\right. \end{equation*} where $V\in W^{1,\infty}(Ω)$ is a potential and $Ω\subset \mathbb{R}^n (n\geq2)$ is a bounded domain. We show that upper bounds on the $(n-1)$-dimensional Hausdorff measure of the nodal sets of $u$ in $Ω$ is less than or equal to $$C\Big(1+\log\left(\|\nabla V\|_{L^{\infty}(Ω)}+1\right)\Big)\cdot\left(\|V\|_{L^{\infty}(Ω)}^{\frac{1}{2}}+|\nabla V\|_{L^{\infty}(Ω)}^{\frac{1}{2}}+1\right),$$ provided $\partialΩ$ is $C^{2}$-smooth and $V$ is analytic. Here $C$ is a positive constant depending only on $n$ and $Ω$. In particular, if $\|\nabla V\|_{L^{\infty}(Ω)}$ is small, the measure upper bound of the of nodal set of $u$ is less than or equal to $C\left(\|V\|^{\frac{1}{2}}_{L^{\infty}(Ω)}+1\right)$.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Quantitative unique continuation property for solutions to a bi-Laplacian equation with a potential
Authors:
Hairong Liu,
Long Tian,
Xiaoping Yang
Abstract:
In this paper, we focus on the quantitative unique continuation property of solutions to \begin{equation*} Δ^2u=Vu, \end{equation*} where $V\in W^{1,\infty}$. We show that the maximal vanishing order of the solutions is not large than \begin{equation} C\left(\|V\|^{\frac{1}{4}}_{L^{\infty}}+\|\nabla V\|_{L^{\infty}}+1\right). \end{equation}
Our key argument is to lift the original equation to th…
▽ More
In this paper, we focus on the quantitative unique continuation property of solutions to \begin{equation*} Δ^2u=Vu, \end{equation*} where $V\in W^{1,\infty}$. We show that the maximal vanishing order of the solutions is not large than \begin{equation} C\left(\|V\|^{\frac{1}{4}}_{L^{\infty}}+\|\nabla V\|_{L^{\infty}}+1\right). \end{equation}
Our key argument is to lift the original equation to that with a positive potential, then decompose the resulted fourth-order equation into a special system of two second-order equations. Based on the special system, we define a variant frequency function with weights and derive its almost monotonicity to establishing some doubling inequalities with explicit dependence on the Sobolev norm of the potential function.
△ Less
Submitted 12 September, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Some Quantitative Properties of Solutions to the Buckling Type Equation
Authors:
Long Tian,
Xiaoping Yang
Abstract:
In this paper, we investigate the quantitative unique continuation, propagation of smallness and measure bounds of nodal sets of solutions to the Buckling type equation $\triangle^2u+λ\triangle u-k^2u=0$ in a bounded analytic domain $Ω\subseteq\mathbb{R}^n$ with the homogeneous boundary conditions $u=0$ and $\frac{\partial u}{\partialν}=0$ on $\partialΩ$, where $λ,\ k$ are nonnegative real constan…
▽ More
In this paper, we investigate the quantitative unique continuation, propagation of smallness and measure bounds of nodal sets of solutions to the Buckling type equation $\triangle^2u+λ\triangle u-k^2u=0$ in a bounded analytic domain $Ω\subseteq\mathbb{R}^n$ with the homogeneous boundary conditions $u=0$ and $\frac{\partial u}{\partialν}=0$ on $\partialΩ$, where $λ,\ k$ are nonnegative real constants, and $ν$ is the outer unit normal vector on $\partialΩ$. We obtain that, the upper bounds for the maximal vanishing order of $u$ and the $n-1$ dimensional Hausdorff measure of the nodal set of $u$ are both $C(\sqrtλ+\sqrt{k}+1)$, where $C$ is a positive constant only depending on $n$ and $Ω$. Moreover, we also give a quantitative result of the propagation of smallness of $u$.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Bootstrapping the Cross-Validation Estimate
Authors:
Bryan Cai,
Fabio Pellegrini,
Menglan Pang,
Carl de Moor,
Changyu Shen,
Vivek Charu,
Lu Tian
Abstract:
Cross-validation is a widely used technique for evaluating the performance of prediction models. It helps avoid the optimism bias in error estimates, which can be significant for models built using complex statistical learning algorithms. However, since the cross-validation estimate is a random value dependent on observed data, it is essential to accurately quantify the uncertainty associated with…
▽ More
Cross-validation is a widely used technique for evaluating the performance of prediction models. It helps avoid the optimism bias in error estimates, which can be significant for models built using complex statistical learning algorithms. However, since the cross-validation estimate is a random value dependent on observed data, it is essential to accurately quantify the uncertainty associated with the estimate. This is especially important when comparing the performance of two models using cross-validation, as one must determine whether differences in error estimates are a result of chance fluctuations. Although various methods have been developed for making inferences on cross-validation estimates, they often have many limitations, such as stringent model assumptions This paper proposes a fast bootstrap method that quickly estimates the standard error of the cross-validation estimate and produces valid confidence intervals for a population parameter measuring average model performance. Our method overcomes the computational challenge inherent in bootstrapping the cross-validation estimate by estimating the variance component within a random effects model. It is just as flexible as the cross-validation procedure itself. To showcase the effectiveness of our approach, we employ comprehensive simulations and real data analysis across three diverse applications.
△ Less
Submitted 1 July, 2023;
originally announced July 2023.
-
Testing Stationarity Concepts for ReLU Networks: Hardness, Regularity, and Robust Algorithms
Authors:
Lai Tian,
Anthony Man-Cho So
Abstract:
We study the computational problem of the stationarity test for the empirical loss of neural networks with ReLU activation functions. Our contributions are:
Hardness: We show that checking a certain first-order approximate stationarity concept for a piecewise linear function is co-NP-hard. This implies that testing a certain stationarity concept for a modern nonsmooth neural network is in genera…
▽ More
We study the computational problem of the stationarity test for the empirical loss of neural networks with ReLU activation functions. Our contributions are:
Hardness: We show that checking a certain first-order approximate stationarity concept for a piecewise linear function is co-NP-hard. This implies that testing a certain stationarity concept for a modern nonsmooth neural network is in general computationally intractable. As a corollary, we prove that testing so-called first-order minimality for functions in abs-normal form is co-NP-complete, which was conjectured by Griewank and Walther (2019, SIAM J. Optim., vol. 29, p284).
Regularity: We establish a necessary and sufficient condition for the validity of an equality-type subdifferential chain rule in terms of Clarke, Fréchet, and limiting subdifferentials of the empirical loss of two-layer ReLU networks. This new condition is simple and efficiently checkable.
Robust algorithms: We introduce an algorithmic scheme to test near-approximate stationarity in terms of both Clarke and Fréchet subdifferentials. Our scheme makes no false positive or false negative error when the tested point is sufficiently close to a stationary one and a certain qualification is satisfied. This is the first practical and robust stationarity test approach for two-layer ReLU networks.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Optimal investment and reinsurance policies for the Cram{é}r-Lundberg risk model under monotone mean-variance preference
Authors:
Bohan Li,
Junyi Guo,
Linlin Tian
Abstract:
In this paper, an optimization problem for the monotone mean-variance(MMV) criterion is considered in the perspective of the insurance company. The MMV criterion is an amended version of the classical mean-variance(MV) criterion which guarantees the monotonicity of the utility function. With this criterion we study the optimal investment and reinsurance problem which is formulated as a zero-sum ga…
▽ More
In this paper, an optimization problem for the monotone mean-variance(MMV) criterion is considered in the perspective of the insurance company. The MMV criterion is an amended version of the classical mean-variance(MV) criterion which guarantees the monotonicity of the utility function. With this criterion we study the optimal investment and reinsurance problem which is formulated as a zero-sum game between the insurance company and an imaginary player. We apply the dynamic programming principle to obtain the corresponding Hamilton-Jacobi-Bellman-Isaacs(HJBI) equation. As the main conclusion of this paper, by solving the HJBI equation explicitly, the closed forms of the optimal strategy and the value function are obtained. Moreover, the MMV efficient frontier is also provided. At the end of the paper, a numerical example is presented.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
No Dimension-Free Deterministic Algorithm Computes Approximate Stationarities of Lipschitzians
Authors:
Lai Tian,
Anthony Man-Cho So
Abstract:
We consider the computation of an approximately stationary point for a Lipschitz and semialgebraic function $f$ with a local oracle. If $f$ is smooth, simple deterministic methods have dimension-free finite oracle complexities. For the general Lipschitz setting, only recently, Zhang et al. [47] introduced a randomized algorithm that computes Goldstein's approximate stationarity [25] to arbitrary p…
▽ More
We consider the computation of an approximately stationary point for a Lipschitz and semialgebraic function $f$ with a local oracle. If $f$ is smooth, simple deterministic methods have dimension-free finite oracle complexities. For the general Lipschitz setting, only recently, Zhang et al. [47] introduced a randomized algorithm that computes Goldstein's approximate stationarity [25] to arbitrary precision with a dimension-free polynomial oracle complexity.
In this paper, we show that no deterministic algorithm can do the same. Even without the dimension-free requirement, we show that any finite time guaranteed deterministic method cannot be general zero-respecting, which rules out most of the oracle-based methods in smooth optimization and any trivial derandomization of Zhang et al. [47]. Our results reveal a fundamental hurdle of nonconvex nonsmooth problems in the modern large-scale setting and their infinite-dimensional extension.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
On the Finite-Time Complexity and Practical Computation of Approximate Stationarity Concepts of Lipschitz Functions
Authors:
Lai Tian,
Kaiwen Zhou,
Anthony Man-Cho So
Abstract:
We report a practical finite-time algorithmic scheme to compute approximately stationary points for nonconvex nonsmooth Lipschitz functions. In particular, we are interested in two kinds of approximate stationarity notions for nonconvex nonsmooth problems, i.e., Goldstein approximate stationarity (GAS) and near-approximate stationarity (NAS). For GAS, our scheme removes the unrealistic subgradient…
▽ More
We report a practical finite-time algorithmic scheme to compute approximately stationary points for nonconvex nonsmooth Lipschitz functions. In particular, we are interested in two kinds of approximate stationarity notions for nonconvex nonsmooth problems, i.e., Goldstein approximate stationarity (GAS) and near-approximate stationarity (NAS). For GAS, our scheme removes the unrealistic subgradient selection oracle assumption in (Zhang et al., 2020, Assumption 1) and computes GAS with the same finite-time complexity. For NAS, Davis & Drusvyatskiy (2019) showed that $ρ$-weakly convex functions admit finite-time computation, while Tian & So (2021) provided the matching impossibility results of dimension-free finite-time complexity for first-order methods. Complement to these developments, in this paper, we isolate a new class of functions that could be Clarke irregular (and thus not weakly convex anymore) and show that our new algorithmic scheme can compute NAS points for functions in that class within finite time. To demonstrate the wide applicability of our new theoretical framework, we show that $ρ$-margin SVM, $1$-layer, and $2$-layer ReLU neural networks, all being Clarke irregular, satisfy our new conditions.
△ Less
Submitted 1 August, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Practical Schemes for Finding Near-Stationary Points of Convex Finite-Sums
Authors:
Kaiwen Zhou,
Lai Tian,
Anthony Man-Cho So,
James Cheng
Abstract:
In convex optimization, the problem of finding near-stationary points has not been adequately studied yet, unlike other optimality measures such as the function value. Even in the deterministic case, the optimal method (OGM-G, due to Kim and Fessler (2021)) has just been discovered recently. In this work, we conduct a systematic study of algorithmic techniques for finding near-stationary points of…
▽ More
In convex optimization, the problem of finding near-stationary points has not been adequately studied yet, unlike other optimality measures such as the function value. Even in the deterministic case, the optimal method (OGM-G, due to Kim and Fessler (2021)) has just been discovered recently. In this work, we conduct a systematic study of algorithmic techniques for finding near-stationary points of convex finite-sums. Our main contributions are several algorithmic discoveries: (1) we discover a memory-saving variant of OGM-G based on the performance estimation problem approach (Drori and Teboulle, 2014); (2) we design a new accelerated SVRG variant that can simultaneously achieve fast rates for minimizing both the gradient norm and function value; (3) we propose an adaptively regularized accelerated SVRG variant, which does not require the knowledge of some unknown initial constants and achieves near-optimal complexities. We put an emphasis on the simplicity and practicality of the new schemes, which could facilitate future work.
△ Less
Submitted 22 February, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Optimal defined contribution pension management with jump diffusions and common shock dependence
Authors:
Xiaoyi Zhang,
Linlin Tian
Abstract:
This work deals with an optimal asset allocation problem for a defined contribution (DC) pension plan during its accumulation phase. The contribution rate is proportional to the individual's salary, the dynamics of which follows a Heston stochastic volatility model with jumps, and there are common shocks between the salary and the volatility. Since the time horizon of pension management might be l…
▽ More
This work deals with an optimal asset allocation problem for a defined contribution (DC) pension plan during its accumulation phase. The contribution rate is proportional to the individual's salary, the dynamics of which follows a Heston stochastic volatility model with jumps, and there are common shocks between the salary and the volatility. Since the time horizon of pension management might be long, the influence of inflation is considered in the context. The inflation index is subjected to a Poisson jump and a Brownian uncertainty. The pension plan aims to reduce fluctuations of terminal wealth by investing the fund in a financial market consisting of a riskless asset and a risky asset. The dynamics of the risky asset is given by a jump diffusion process. The closed form of investment decision is derived by the dynamic programming approach.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Second Moment Estimator for An AR(1) Model Driven by A Long Memory Gaussian Noise
Authors:
Yong Chen,
Li Tian,
Ying Li
Abstract:
In this paper, we consider an inference problem for the first order autoregressive process driven by a long memory stationary Gaussian process. Suppose that the covariance function of the noise can be expressed as $\abs{k}^{2H-2}$ times a function slowly varying at infinity. The fractional Gaussian noise and the fractional ARIMA model and some others Gaussian noise are special examples that satisf…
▽ More
In this paper, we consider an inference problem for the first order autoregressive process driven by a long memory stationary Gaussian process. Suppose that the covariance function of the noise can be expressed as $\abs{k}^{2H-2}$ times a function slowly varying at infinity. The fractional Gaussian noise and the fractional ARIMA model and some others Gaussian noise are special examples that satisfy this assumption. We propose a second moment estimator and prove the strong consistency and give the asymptotic distribution. Moreover, when the limit distribution is Gaussian, we give the upper Berry-Esséen bound by means of Fourth moment theorem.
△ Less
Submitted 1 December, 2020; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Dividend Barrier Strategies in a Renewal Risk Model With Phase-Type Distributed Interclaim Times
Authors:
Linlin Tian,
Zhaoyang Liu
Abstract:
In this paper, we consider the optimal dividend problem of the renewal risk model with phase-type distributed interclaim times and exponentially distributed claim sizes. Assume that the phases of the interclaim times can be observed. We study the optimal dividend under the 2--order and the $n$--order ($n\ge 3$)separately. In the case of 2--order phase-type distributed interclaim times, we show tha…
▽ More
In this paper, we consider the optimal dividend problem of the renewal risk model with phase-type distributed interclaim times and exponentially distributed claim sizes. Assume that the phases of the interclaim times can be observed. We study the optimal dividend under the 2--order and the $n$--order ($n\ge 3$)separately. In the case of 2--order phase-type distributed interclaim times, we show that the optimal dividend policy is the optimal phase-wise barrier strategy. As a byproduct, we find that in this case, the phase with higher barrier is the phase with the higher intensity to the next claim. In the case of n-order ($n\ge3$) phase-type distributed interclaim times, an iteration algorithm is presented to show that the optimal phase-wise barrier strategy is optimal among all dividend policies. We also find a similar conclusion like in the case of 2--order, the phase with the highest barrier is the phase with the highest intensity to the next claim.
△ Less
Submitted 18 November, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
Minimizing the Ruin Probability under the Sparre Andersen Model
Authors:
Linlin Tian,
Lihua Bai
Abstract:
In this paper, we consider the problem of minimizing the ruin probability of an insurance company in which the surplus process follows the Sparre Andersen model. Similar to Bai et al. \cite{bai2017optimal}, we recast this problem in a Markovian framework by adding another dimension representing the time elapsed since the last claim. After Markovization, We investigate the regularity properties of…
▽ More
In this paper, we consider the problem of minimizing the ruin probability of an insurance company in which the surplus process follows the Sparre Andersen model. Similar to Bai et al. \cite{bai2017optimal}, we recast this problem in a Markovian framework by adding another dimension representing the time elapsed since the last claim. After Markovization, We investigate the regularity properties of the value function and state the dynamic programming principle. Furthermore, we show that the value function is the unique constrained viscosity solution to the associated Hamilton-Jacobi-Bellman equation. It should be noted that there is no discount factor in our paper, which makes it tricky to prove the uniqueness. To overcome this difficulty, we construct the strict viscosity supersolution. Then instead of comparing the usual viscosity supersolution and subsolution, we compare the supersolution and the strict subsolution. Eventually we show that all viscosity subsolution is less than the supersolution.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
Arithmetic on Moran sets
Authors:
Xiaomin Ren,
Li Tian,
Jiali Zhu,
Kan Jiang
Abstract:
Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by \begin{equation*} f_{U}(A,B)=\{f(x,y):(x,y)\in (A\times B)\cap U\}. \end{equation*} In…
▽ More
Let $(\mathcal{M}, c_k,n_k)$ be a class of Moran sets. We assume that the convex hull of any $E\in (\mathcal{M}, c_k,n_k)$ is $[0,1]$. Let $A,B$ be two non-empty sets in $\mathbb{R}$. Suppose that $f$ is a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the continuous image of $f$ by \begin{equation*} f_{U}(A,B)=\{f(x,y):(x,y)\in (A\times B)\cap U\}. \end{equation*} In this paper, we prove the following result. Let $E_1,E_2\in(\mathcal{M}, c_k, n_k)$. If there exists some $(x_0,y_0)\in (E_1\times E_2)\cap U$ such that $$\sup_{k\geq 1}\left\{1-c_kn_k\right\}<\left\vert \frac{\partial _{y}f|_{(x_{0},y_{0})}}{\partial _{x}f|_{(x_{0},y_{0})}}\right\vert <\inf_{k\geq 1}\left\{\dfrac{c_k}{1-n_kc_k}\right\},$$ then $f_U(E_1, E_2)$ contains an interior.
△ Less
Submitted 12 May, 2019;
originally announced May 2019.
-
Existence of peakons for a cubic generalization of the Camassa-Holm equation
Authors:
Yun Wang,
Lixin Tian
Abstract:
In this paper, we study the following generalized Camassa-Holm equation with both cubic and quadratic nonlinearities: $$ m_{t}+k_{1}(3uu_{x}m+u^2m_{x})+k_{2}(2mu_{x}+m_{x}u)=0, \quad m=u-u_{xx}, $$ which is presented as a linear combination of the Novikov equation and the Camassa-Holm equation with constants $k_{1}$ and $k_{2}$. The model is a cubic generalization of the Camassa-Holm equation. It…
▽ More
In this paper, we study the following generalized Camassa-Holm equation with both cubic and quadratic nonlinearities: $$ m_{t}+k_{1}(3uu_{x}m+u^2m_{x})+k_{2}(2mu_{x}+m_{x}u)=0, \quad m=u-u_{xx}, $$ which is presented as a linear combination of the Novikov equation and the Camassa-Holm equation with constants $k_{1}$ and $k_{2}$. The model is a cubic generalization of the Camassa-Holm equation. It is shown that the equation admits single-peaked soliton and periodic peakons.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
Stability of periodic peakons for the Novikov equation
Authors:
Yun Wang,
Lixin Tian
Abstract:
The Novikov equation is an integrable Camassa-Holm type equation with cubic nonlinearity and admits the periodic peakons. In this paper, it is shown that the periodic peakons are the global periodic weak solutions to the Novikov equation and we also prove the orbital stability of the periodic peakons for Novikov equation. By using the invariants of the equation and controlling the extrema of the s…
▽ More
The Novikov equation is an integrable Camassa-Holm type equation with cubic nonlinearity and admits the periodic peakons. In this paper, it is shown that the periodic peakons are the global periodic weak solutions to the Novikov equation and we also prove the orbital stability of the periodic peakons for Novikov equation. By using the invariants of the equation and controlling the extrema of the solution, it is demonstrated that the shapes of these periodic peakons are stable under small perturbations in the energy space.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
Multiple representations of real numbers on self-similar sets with overlaps
Authors:
Xiaomin Ren,
Jiali Zhu,
Li Tian,
Kan Jiang
Abstract:
Let $K$ be the attractor of the following IFS
$$\{f_1(x)=λx, f_2(x)=λx +c-λ,f_3(x)=λx +1-λ\}, $$
where $f_1(I)\cap f_2(I)\neq \emptyset, (f_1(I)\cup f_2(I))\cap f_3(I)=\emptyset,$ and $I=[0,1]$ is the convex hull of $K$. The main results of this paper are as follows: $$\sqrt{K}+\sqrt{K}=[0,2]$$ if and only if $$\sqrt{c}+1\geq 2\sqrt{1-λ},$$ where…
▽ More
Let $K$ be the attractor of the following IFS
$$\{f_1(x)=λx, f_2(x)=λx +c-λ,f_3(x)=λx +1-λ\}, $$
where $f_1(I)\cap f_2(I)\neq \emptyset, (f_1(I)\cup f_2(I))\cap f_3(I)=\emptyset,$ and $I=[0,1]$ is the convex hull of $K$. The main results of this paper are as follows: $$\sqrt{K}+\sqrt{K}=[0,2]$$ if and only if $$\sqrt{c}+1\geq 2\sqrt{1-λ},$$ where $\sqrt{K}+\sqrt{K}=\{\sqrt{x}+\sqrt{y}:x,y\in K\}$. If $c\geq (1-λ)^2$, then $$\dfrac{K}{K}=\left\{\dfrac{x}{y}:x,y\in K, y\neq 0\right\}=\left[0,\infty\right).$$ As a consequence, we prove that the following conditions are equivalent:
(1) For any $u\in [0,1]$, there are some $x,y\in K$ such that $u=x\cdot y;$
(2) For any $u\in [0,1]$, there are some $x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8, x_9,x_{10}\in K$ such that $$u=x_1+x_2=x_3-x_4=x_5\cdot x_6=x_7÷x_8=\sqrt{x_9}+\sqrt{x_{10}};$$
(3) $c\geq (1-λ)^2$.
△ Less
Submitted 18 January, 2019; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Optimal Singular Dividend Problem under the Sparre Anderson Model
Authors:
Linlin Tian,
Lihua Bai,
Junyi Guo
Abstract:
Consider an insurance company for which the reserve process follows the Sparre Anderson model. In this paper, we study the optimal dividend problem for such a company as Bai, Ma and Xing [9] do. However, we remove the constant restriction on the dividend rates, i.e. the optimization problem is of singular type. In this case, the value function is no longer bounded and the associated HJB equation i…
▽ More
Consider an insurance company for which the reserve process follows the Sparre Anderson model. In this paper, we study the optimal dividend problem for such a company as Bai, Ma and Xing [9] do. However, we remove the constant restriction on the dividend rates, i.e. the optimization problem is of singular type. In this case, the value function is no longer bounded and the associated HJB equation is a variational inequality involving a first order integro-differential operator and a gradient constraint. We use other techniques to prove the regularity properties for the value function and show that the value function is a constrained viscosity solution of the associated HJB equation. In addition, we show that the value function is the upper semi-continuous envelop of the supremum for a class of subsolutions.
△ Less
Submitted 21 July, 2018;
originally announced July 2018.
-
Optimal Dividend of Compound Poisson Process under a Stochastic Interest Rate
Authors:
Linlin Tian,
Xiaoyi Zhang
Abstract:
In this paper we assume the insurance wealth process is driven by the compound Poisson process. The discounting factor is modelled as a geometric Brownian motion at first and then as an exponential function of an integrated Ornstein-Uhlenbeck process. The objective is to maximize the cumulated value of expected discounted dividends up to the time of ruin. We give an explicit expression of the valu…
▽ More
In this paper we assume the insurance wealth process is driven by the compound Poisson process. The discounting factor is modelled as a geometric Brownian motion at first and then as an exponential function of an integrated Ornstein-Uhlenbeck process. The objective is to maximize the cumulated value of expected discounted dividends up to the time of ruin. We give an explicit expression of the value function and the optimal strategy in the case of interest rate following a geometric Brownian motion. For the case of the Vasicek model, we explore some properties of the value function. Since we can not find an explicit expression for the value function in the second case, we prove that the value function is the viscosity solution of the corresponding HJB equation.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Multiplication on self-similar sets with overlaps
Authors:
Li Tian,
Jiangwen Gu,
Qianqian Ye,
Lifeng Xi,
Kan Jiang
Abstract:
Let $A,B\subset\mathbb{R}$. Define $$A\cdot B=\{x\cdot y:x\in A, y\in B\}.$$ In this paper, we consider the following class of self-similar sets with overlaps. Let $K$ be the attractor of the IFS $\{f_1(x)=λx, f_2(x)=λx+c-λ,f_3(x)=λx+1-λ\}$, where $f_1(I)\cap f_2(I)\neq \emptyset, (f_1(I)\cup f_2(I))\cap f_3(I)=\emptyset,$ and $I=[0,1]$ is the convex hull of $K$. The main result of this paper is…
▽ More
Let $A,B\subset\mathbb{R}$. Define $$A\cdot B=\{x\cdot y:x\in A, y\in B\}.$$ In this paper, we consider the following class of self-similar sets with overlaps. Let $K$ be the attractor of the IFS $\{f_1(x)=λx, f_2(x)=λx+c-λ,f_3(x)=λx+1-λ\}$, where $f_1(I)\cap f_2(I)\neq \emptyset, (f_1(I)\cup f_2(I))\cap f_3(I)=\emptyset,$ and $I=[0,1]$ is the convex hull of $K$. The main result of this paper is $K\cdot K=[0,1]$ if and only if $(1-λ)^2\leq c$.
Equivalently, we give a necessary and sufficient condition such that for any $u\in[0,1]$, $u=x\cdot y$, where $x,y\in K$.
△ Less
Submitted 14 July, 2018;
originally announced July 2018.
-
Upper Measure Bounds of Nodal Sets of Solutions to the Bi-Harmonic Equations on $C^{\infty}$ Riemannian Manifolds
Authors:
Long Tian,
Xiaoping Yang
Abstract:
In this paper, we consider the nodal set of a bi-harmonic function $u$ on an $n$ dimensional $C^{\infty}$ Riemannian manifold $M$, that is, $u$ satisfies the equation $\triangle_M^2u=0$ on $M$, where $\triangle_M$ is the Laplacian operator on $M$. We first define the frequency function and the doubling index for the bi-harmonic function $u$, and then establish their monotonicity formulae and doubl…
▽ More
In this paper, we consider the nodal set of a bi-harmonic function $u$ on an $n$ dimensional $C^{\infty}$ Riemannian manifold $M$, that is, $u$ satisfies the equation $\triangle_M^2u=0$ on $M$, where $\triangle_M$ is the Laplacian operator on $M$. We first define the frequency function and the doubling index for the bi-harmonic function $u$, and then establish their monotonicity formulae and doubling conditions. With the help of the smallness propagation and partitions, we show that, for some ball $B_r(x_0)\subseteq M$ with $r$ small enough, an upper bound for the measure of nodal set of the bi-harmonic function $u$ can be controlled by $N^α$, that is, \mathcal{H}^{n-1}\left(\left\{x\in B_{r/2}(x_0)|u(x)=0\right\}\right)\leq CN^αr^{n-1}, where $N=\max\left\{C_0,N(x_0,r)\right\}$, $α$, $C$ and $C_0$ both are positive constants depending only on $n$ and $M$. Here $N(x_0,r)$ is the frequency function of $u$ centered at $x_0$ with radius $r$. Furthermore, we derive that an upper measure for nodal sets of eigenfunctions of the bi-harmonic operator on a $C^{\infty}$ compact Riemannian manifold without boundary can be controlled by $λ^β$ for the corresponding eigenvalue $λ^2$ and some positive constant $β$.
△ Less
Submitted 2 November, 2023; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Measure Upper Bounds of Nodal Sets of Robin Eigenfunctions
Authors:
Fang Liu,
Long Tian,
Xiaoping Yang
Abstract:
In this paper, we obtain the upper bounds for the Hausdorff measures of nodal sets of eigenfunctions with the Robin boundary conditions, i.e.,
\begin{equation*} {\left\{\begin{array}{l}
\triangle u+λu=0,\quad in\quad Ω,\\ u_ν+μu=0,\quad on\quad\partialΩ, \end{array} \right.} \end{equation*} where the domain $Ω\subseteq\mathbb{R}^n$, $u_ν$ means the derivative of $u$ along the outer normal dire…
▽ More
In this paper, we obtain the upper bounds for the Hausdorff measures of nodal sets of eigenfunctions with the Robin boundary conditions, i.e.,
\begin{equation*} {\left\{\begin{array}{l}
\triangle u+λu=0,\quad in\quad Ω,\\ u_ν+μu=0,\quad on\quad\partialΩ, \end{array} \right.} \end{equation*} where the domain $Ω\subseteq\mathbb{R}^n$, $u_ν$ means the derivative of $u$ along the outer normal direction of $\partialΩ$. We show that, if $Ω$ is bounded and analytic, and the corresponding eigenvalue $λ$ is large enough,then the measure upper bounds for the nodal sets of eigenfunctions are $C\sqrtλ$, where $C$ is a positive constant depending only on $n$ and $Ω$ but not on $μ$ We also show that, if $\partialΩ$ is $C^{\infty}$ smooth and $\partialΩ\setminusΓ$ is piecewise analytic, where $Γ\subseteq\partialΩ$ is a union of some $n-2$ dimensional submanifolds of $\partialΩ$, $μ>0$, and $λ$ is large enough, then the corresponding measure upper bounds for the nodal sets of $u$ are $C(\sqrtλ+μ^α+μ^{-cα})$ for some positive number $α$, where $c$ is a positive constant depending only on $n$, and $C$ is a positive constant depending on $n$, $Ω$, $Γ$ and $α$.
△ Less
Submitted 6 January, 2018;
originally announced January 2018.
-
Critical points of solutions to a quasilinear elliptic equation with nonhomogeneous Dirichlet boundary conditions
Authors:
Haiyun Deng,
Hairong Liu,
Long Tian
Abstract:
In this paper, we mainly investigate the critical points associated to solutions $u$ of a quasilinear elliptic equation with nonhomogeneous Dirichlet boundary conditions in a connected domain $Ω$ in $\mathbb{R}^2$. Based on the fine analysis about the distribution of connected components of a super-level set $\{x\in Ω: u(x)>t\}$ for any…
▽ More
In this paper, we mainly investigate the critical points associated to solutions $u$ of a quasilinear elliptic equation with nonhomogeneous Dirichlet boundary conditions in a connected domain $Ω$ in $\mathbb{R}^2$. Based on the fine analysis about the distribution of connected components of a super-level set $\{x\in Ω: u(x)>t\}$ for any $\mathop {\min}_{\partialΩ}u(x)<t<\mathop {\max}_{\partialΩ}u(x)$, we obtain the geometric structure of interior critical points of $u$. Precisely, when $Ω$ is simply connected, we develop a new method to prove $Σ_{i = 1}^k {m_i}+1=N$, where $m_1,\cdots,m_k$ are the respective multiplicities of interior critical points $x_1,\cdots,x_k$ of $u$ and $N$ is the number of global maximal points of $u$ on $\partialΩ$. When $Ω$ is an annular domain with the interior boundary $γ_I$ and the external boundary $γ_E$, where $u|_{γ_I}=H,~u|_{γ_E}=ψ(x)$ and $ψ(x)$ has $N$ local (global) maximal points on $γ_E$. For the case $ψ(x)\geq H$ or $ψ(x)\leq H$ or $\mathop {\min}\limits_{γ_E}ψ(x)<H<\mathop {\max}\limits_{γ_E}ψ(x)$, we show that $Σ_{i = 1}^k {m_i} \le N$ (either $Σ_{i = 1}^k {m_i}=N$ or $Σ_{i = 1}^k {m_i}+1=N$).
△ Less
Submitted 29 May, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Uniqueness of critical points of solutions to the mean curvature equation with Neumann and Robin boundary conditions
Authors:
Haiyun Deng,
Hairong Liu,
Long Tian
Abstract:
In this paper, we investigate the critical points of solutions to the prescribed constant mean curvature equation with Neumann and Robin boundary conditions respectively in a bounded smooth convex domain $Ω$ of $\mathbb{R}^{n}(n\geq2)$. Firstly, we show the non-degeneracy and uniqueness of the critical points of solutions in a planar domain by using the local Chen & Huang's comparison technique an…
▽ More
In this paper, we investigate the critical points of solutions to the prescribed constant mean curvature equation with Neumann and Robin boundary conditions respectively in a bounded smooth convex domain $Ω$ of $\mathbb{R}^{n}(n\geq2)$. Firstly, we show the non-degeneracy and uniqueness of the critical points of solutions in a planar domain by using the local Chen & Huang's comparison technique and the geometric properties of approximate surfaces at the non-degenerate critical points. Secondly, we deduce the uniqueness and non-degeneracy of the critical points of solutions in a rotationally symmetric domain of $\mathbb{R}^{n}(n\geq3)$ by the projection of higher dimensional space onto two dimensional plane.
△ Less
Submitted 13 June, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Critical points of solutions for mean curvature equation in strictly convex and nonconvex domains
Authors:
Haiyun Deng,
Hairong Liu,
Long Tian
Abstract:
In this paper, we mainly investigate the set of critical points associated to solutions of mean curvature equation with zero Dirichlet boundary condition in a strictly convex domain and a nonconvex domain respectively. Firstly, we deduce that mean curvature equation has exactly one nondegenerate critical point in a smooth, bounded and strictly convex domain of $\mathbb{R}^{n}(n\geq2)$. Secondly, w…
▽ More
In this paper, we mainly investigate the set of critical points associated to solutions of mean curvature equation with zero Dirichlet boundary condition in a strictly convex domain and a nonconvex domain respectively. Firstly, we deduce that mean curvature equation has exactly one nondegenerate critical point in a smooth, bounded and strictly convex domain of $\mathbb{R}^{n}(n\geq2)$. Secondly, we study the geometric structure about the critical set $K$ of solutions $u$ for the constant mean curvature equation in a concentric (respectively an eccentric) spherical annulus domain of $\mathbb{R}^{n}(n\geq3)$, and deduce that $K$ exists (respectively does not exist) a rotationally symmetric critical closed surface $S$. In fact, in an eccentric spherical annulus domain, $K$ is made up of finitely many isolated critical points ($p_1,p_2,\cdots,p_l$) on an axis and finitely many rotationally symmetric critical Jordan curves ($C_1,C_2,\cdots,C_k$) with respect to an axis.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
Measure Upper Bounds for Nodal Sets of Eigenfunctions of the bi-Harmonic Operator
Authors:
Long Tian,
Xiaoping Yang
Abstract:
In this article, we consider eigenfunctions $u$ of the bi-harmonic operator, i.e.,
$\triangle^2u=λ^2u$ on $Ω$ with some homogeneous linear boundary conditions. We assume that $Ω\subseteq\mathbb{R}^n$ ($n\geq2$) is a $C^{\infty}$ bounded domain, $\partialΩ$ is piecewise analytic and $\partialΩ$ is analytic except a set $Γ\subseteq\partialΩ$ which is a finite union of some compact $(n-2)$ dimensio…
▽ More
In this article, we consider eigenfunctions $u$ of the bi-harmonic operator, i.e.,
$\triangle^2u=λ^2u$ on $Ω$ with some homogeneous linear boundary conditions. We assume that $Ω\subseteq\mathbb{R}^n$ ($n\geq2$) is a $C^{\infty}$ bounded domain, $\partialΩ$ is piecewise analytic and $\partialΩ$ is analytic except a set $Γ\subseteq\partialΩ$ which is a finite union of some compact $(n-2)$ dimensional submanifolds of $\partialΩ$. The main result of this paper is that the measure upper bounds of the nodal sets of the eigenfunctions is controlled by $\sqrtλ$. We first define a frequency function and a doubling index related to these eigenfunctions. With the help of establishing the monotonicity formula, doubling conditions and various a priori estimates, we obtain that the $(n-1)$ dimensional Hausdorff measures of nodal sets of these eigenfunctions in a ball are controlled by the frequency function and $\sqrtλ$. In order to further control the frequency function with $\sqrtλ$, we first establish the relationship between the frequency function and the doubling index, and then separate the domain $Ω$ into two parts: a domain away from $Γ$ and a domain near $Γ$, and develop iteration arguments to deal with the two cases respectively.
△ Less
Submitted 1 September, 2017;
originally announced September 2017.
-
Orbital stability of peakons for a generalized Camassa-Holm equation with both quadratic and cubic nonlinearity
Authors:
Jiangbo Zhou,
Lu Yao,
Lixin Tian,
Wenbin Zhang
Abstract:
In this paper, we investigate the orbital stability problem of peakons for a modified Camassa-Holm equation with both quadratic and cubic nonlinearity. This equation was derived from integrable theory and admits peaked soliton (peakon) and multipeakon solutions. By constructing two suitable piecewise functions, we establish the polynomial inequality relating to two conserved quantities and the max…
▽ More
In this paper, we investigate the orbital stability problem of peakons for a modified Camassa-Holm equation with both quadratic and cubic nonlinearity. This equation was derived from integrable theory and admits peaked soliton (peakon) and multipeakon solutions. By constructing two suitable piecewise functions, we establish the polynomial inequality relating to two conserved quantities and the maximum of the solution to this equation. The error estimate between the maximum of the solution and the peakon then follows from the structure of the polynomial inequality. Finally, we prove that a wave starting close to the peakon remains close to some translate of it at all later times, that is, the shapes of these peakons are stable under small perturbations.
△ Less
Submitted 30 April, 2013; v1 submitted 26 April, 2013;
originally announced April 2013.
