-
$(ω, α, n)$-sensitivity and limit sets of zero entropy homeomorphisms on the square
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(ω, α, n)$-sensitivity of $f$, which describes such a kind of chaos: there is some $c>0$ such that for any $x\in X$ and any open neighborhood $U$ of $x$, there are points $\{x_i\}_{i=1}^n$ and $\{y_i\}_{i=1}^n$ in $U$ such that both the collection of $ω$-limit sets $ω(x_i, f)$ and th…
▽ More
For a homeomorphism $f$ of a compact metric space $X$ and a positive integer $n\geq 2$, we introduce the notion of $(ω, α, n)$-sensitivity of $f$, which describes such a kind of chaos: there is some $c>0$ such that for any $x\in X$ and any open neighborhood $U$ of $x$, there are points $\{x_i\}_{i=1}^n$ and $\{y_i\}_{i=1}^n$ in $U$ such that both the collection of $ω$-limit sets $ω(x_i, f)$ and that of the $α$-limit sets $α(y_i, f)$ are pairwise $c$-separated. Then we construct a class of homeomorphisms of the square $[-1, 1]^2$ which are $(ω, α, n)$-sensitive for any $n\geq 2$ and have zero topological entropies. To investigate further the complexity of zero entropy homeomorphisms by using limit sets, we analyze in depth the limit sets of square homeomorphisms by the boundary permeating technique. Specially, we prove that for any given set of points $Y\equiv\{y_{n1}, y_{n2}:n\in\mathbb N\}$ in $(-1, 1)^2$ which satisfies some loosely technical conditions, and for any given family of pairwise disjoint countable dense subsets $\{W_n:n\in\mathbb N\}$ of $(-1, 1)^2-Y$, there is a zero entropy homeomorphism $f$ on the square $[-1, 1]^2$ such that $ω(x, f)=\{y_{n1}\}$ and $α(x, f)=\{y_{n2}\}$ for any $n$ and any $x\in W_n$.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
A new construction of counterexamples to the bounded orbit conjecture
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
The bounded orbit conjecture says that every homeomorphism on the plane with each of its orbits being bounded must have a fixed point. Brouwer's translation theorem asserts that the conjecture is true for orientation preserving homeomorphisms, but Boyles' counterexample shows that it is false for the orientation reversing case. In this paper, we give a more comprehensible construction of counterex…
▽ More
The bounded orbit conjecture says that every homeomorphism on the plane with each of its orbits being bounded must have a fixed point. Brouwer's translation theorem asserts that the conjecture is true for orientation preserving homeomorphisms, but Boyles' counterexample shows that it is false for the orientation reversing case. In this paper, we give a more comprehensible construction of counterexamples to the conjecture. Roughly speaking, we construct an orientation reversing homeomorphisms $f$ on the square $J^2=[-1, 1]^2$ with $ω(x, f)=\{(-1. 1), (1, 1)\}$ and $α(x, f)=\{(-1. -1), (1, -1)\}$ for each $x\in (-1, 1)^2$. Then by a semi-conjugacy defined by pushing an appropriate part of $\partial J^2$ into $(-1, 1)^2$, $f$ induces a homeomorphism on the plane, which is a counterexample.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Can points of bounded orbits surround points of unbounded orbits ?
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
We show a somewhat surprising result: if $E$ is a disk in the plane $\mathbb R^2$, then there is a homeomorphism $h:\mathbb R^2\rightarrow\mathbb R^2$ such that, for every $x\in\partial E$, the orbit $O(x, h)$ is bounded, but for every $y\in {\rm Int}(E)$, the orbit $O(y, h)$ is doubly divergent. To prove this, we define a class of homeomorphisms on the square $[-1, 1]^2$, called normally rising h…
▽ More
We show a somewhat surprising result: if $E$ is a disk in the plane $\mathbb R^2$, then there is a homeomorphism $h:\mathbb R^2\rightarrow\mathbb R^2$ such that, for every $x\in\partial E$, the orbit $O(x, h)$ is bounded, but for every $y\in {\rm Int}(E)$, the orbit $O(y, h)$ is doubly divergent. To prove this, we define a class of homeomorphisms on the square $[-1, 1]^2$, called normally rising homeomorphisms, and show that a normally rising homeomorphism can have very complex $ω$-limit sets and $α$-limt sets, though the homeomorphism itself looks very simple.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Orientation Preserving Homeomorphisms of the Plane having BP-Chain Recurrent Points
Authors:
Jiehua Mai,
Kesong Yan,
Fan** Zeng
Abstract:
More than a century ago, L. E. J. Brouwer proved a famous theorem, which says that any orientation preserving homeomorphism of the plane having a periodic point must have a fixed point. In recent years, there are still some authors giving various proofs of this fixed point theorem. In \cite{Fa}, Fathi showed that the condition``having a periodic point'' in this theorem can be weakened to ``having…
▽ More
More than a century ago, L. E. J. Brouwer proved a famous theorem, which says that any orientation preserving homeomorphism of the plane having a periodic point must have a fixed point. In recent years, there are still some authors giving various proofs of this fixed point theorem. In \cite{Fa}, Fathi showed that the condition``having a periodic point'' in this theorem can be weakened to ``having a non-wandering point''. In this paper, we first give a new proof of Brouwer's theorem, which is relatively more simpler and the statement is more compact. Further, we propose a notion of BP-chain recurrent points, which is a generalization of the concept of non-wandering points, and we prove that if an orientation preserving homeomorphism of the plane has a BP-chain recurrent point, then it has a fixed point. This further weakens the condition in the Brouwer's fixed point theorem on plane.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Some extensions of the Brouwer fixed point theorem
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and $\partial X-Y$ is an $(f, X)$-blockading set. For $n\geq 2$, let $D$ be an $n$-ball in $X$ and $Y$ be an $(n-1)$-ball in $\partial X$. Relying on the result ju…
▽ More
We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and $\partial X-Y$ is an $(f, X)$-blockading set. For $n\geq 2$, let $D$ be an $n$-ball in $X$ and $Y$ be an $(n-1)$-ball in $\partial X$. Relying on the result just mentioned, we show the existence of a fixed point of $f$, if $D$ and $Y$ are well placed and behave well under $f$, and ${\rm deg}(f_D)=-{\rm deg}(f_{\partial Y})$, where $f_D=f|D: D \rightarrow \mathbb{R}^n$ and $f_{\partial Y}=f|\partial Y: \partial Y \rightarrow \partial Y$. The degree ${\rm deg}(f_D)$ of $f_D$ is explicitly defined and some elementary properties of which are investigated. These results extend the Brouwer fixed point theorem.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Quasi-intermediate value theorem and outflanking arc theorem for plane maps
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
For a disk $D$ in the plane $\mathbb R^2$ and a plane map $f$, we give several conditions on the restriction of $f$ to the boundary $\partial D$ of $D$ which imply the existence of a fixed point of $f$ in some specified domain in $D$. These conditions are similar to those appeared in the intermediate value theorem for maps on the real line. As an application of the main results, we establish a fix…
▽ More
For a disk $D$ in the plane $\mathbb R^2$ and a plane map $f$, we give several conditions on the restriction of $f$ to the boundary $\partial D$ of $D$ which imply the existence of a fixed point of $f$ in some specified domain in $D$. These conditions are similar to those appeared in the intermediate value theorem for maps on the real line. As an application of the main results, we establish a fixed point theorem for plane maps having an outflanking arc, which extends the famous theorem due to Brouwer: if $f$ is an orientation-preserving homeomorphism on the plane and has a periodic point, then it has a fixed point.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Structures of $R(f)-\overline{P(f)}$ for graph maps $f$
Authors:
Jiehua Mai,
Enhui Shi,
Kesong Yan,
Fan** Zeng
Abstract:
Let $G$ be a graph and $f: G\rightarrow G$ be a continuous map. We establish a structure theorem which describes the structures of the set $R(f)-\overline{P(f)}$, where $R(f)$ and $P(f)$ are the recurrent point set and the periodic point set of $f$ respectively. Roughly speaking, the set $R(f)-\overline{P(f)}$ is covered by finitely many pairwise disjoint $f$-invariant open sets…
▽ More
Let $G$ be a graph and $f: G\rightarrow G$ be a continuous map. We establish a structure theorem which describes the structures of the set $R(f)-\overline{P(f)}$, where $R(f)$ and $P(f)$ are the recurrent point set and the periodic point set of $f$ respectively. Roughly speaking, the set $R(f)-\overline{P(f)}$ is covered by finitely many pairwise disjoint $f$-invariant open sets $U_{1\,},\,\cdots,\,U_{n\,}$; each $U_i$ contains a unique minimal set $W_i$ which absorbs each point of $U_i$; each $W_i$ lies in finitely many pairwise disjoint circles each of which is contained in a connected closed set; all of these connected closed sets are contained in $U_i$ and permutated cyclically by $f$. As applications of the structure theorem, several known results are improved or reproved.
△ Less
Submitted 29 October, 2023;
originally announced October 2023.
-
Fast time-step** discontinuous Galerkin method for the subdiffusion equation
Authors:
Hui Zhang,
Fanhai Zeng,
Xiaoyun Jiang,
Zhimin Zhang
Abstract:
The nonlocality of the fractional operator causes numerical difficulties for long time computation of the time-fractional evolution equations. This paper develops a high-order fast time-step** discontinuous Galerkin finite element method for the time-fractional diffusion equations, which saves storage and computational time. The optimal error estimate…
▽ More
The nonlocality of the fractional operator causes numerical difficulties for long time computation of the time-fractional evolution equations. This paper develops a high-order fast time-step** discontinuous Galerkin finite element method for the time-fractional diffusion equations, which saves storage and computational time. The optimal error estimate $O(N^{-p-1} + h^{m+1} + \varepsilon N^{rα})$ of the current time-step** discontinuous Galerkin method is rigorous proved, where $N$ denotes the number of time intervals, $p$ is the degree of polynomial approximation on each time subinterval, $h$ is the maximum space step, $r\ge1$, $m$ is the order of finite element space, and $\varepsilon>0$ can be arbitrarily small. Numerical simulations verify the theoretical analysis.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Splitting physics-informed neural networks for inferring the dynamics of integer- and fractional-order neuron models
Authors:
Simin Shekarpaz,
Fanhai Zeng,
George Karniadakis
Abstract:
We introduce a new approach for solving forward systems of differential equations using a combination of splitting methods and physics-informed neural networks (PINNs). The proposed method, splitting PINN, effectively addresses the challenge of applying PINNs to forward dynamical systems and demonstrates improved accuracy through its application to neuron models. Specifically, we apply operator sp…
▽ More
We introduce a new approach for solving forward systems of differential equations using a combination of splitting methods and physics-informed neural networks (PINNs). The proposed method, splitting PINN, effectively addresses the challenge of applying PINNs to forward dynamical systems and demonstrates improved accuracy through its application to neuron models. Specifically, we apply operator splitting to decompose the original neuron model into sub-problems that are then solved using PINNs. Moreover, we develop an $L^1$ scheme for discretizing fractional derivatives in fractional neuron models, leading to improved accuracy and efficiency. The results of this study highlight the potential of splitting PINNs in solving both integer- and fractional-order neuron models, as well as other similar systems in computational science and engineering.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Bi-orthogonal fPINN: A physics-informed neural network method for solving time-dependent stochastic fractional PDEs
Authors:
Lei Ma,
Rong xin Li,
Fanhai Zeng,
Ling Guo,
George Em Karniadakis
Abstract:
Fractional partial differential equations (FPDEs) can effectively represent anomalous transport and nonlocal interactions. However, inherent uncertainties arise naturally in real applications due to random forcing or unknown material properties. Mathematical models considering nonlocal interactions with uncertainty quantification can be formulated as stochastic fractional partial differential equa…
▽ More
Fractional partial differential equations (FPDEs) can effectively represent anomalous transport and nonlocal interactions. However, inherent uncertainties arise naturally in real applications due to random forcing or unknown material properties. Mathematical models considering nonlocal interactions with uncertainty quantification can be formulated as stochastic fractional partial differential equations (SFPDEs). There are many challenges in solving SFPDEs numerically, especially for long-time integration since such problems are high-dimensional and nonlocal. Here, we combine the bi-orthogonal (BO) method for representing stochastic processes with physics-informed neural networks (PINNs) for solving partial differential equations to formulate the bi-orthogonal PINN method (BO-fPINN) for solving time-dependent SFPDEs. Specifically, we introduce a deep neural network for the stochastic solution of the time-dependent SFPDEs, and include the BO constraints in the loss function following a weak formulation. Since automatic differentiation is not currently applicable to fractional derivatives, we employ discretization on a grid to to compute the fractional derivatives of the neural network output. The weak formulation loss function of the BO-fPINN method can overcome some drawbacks of the BO methods and thus can be used to solve SFPDEs with eigenvalue crossings. Moreover, the BO-fPINN method can be used for inverse SFPDEs with the same framework and same computational complexity as for forward problems. We demonstrate the effectiveness of the BO-fPINN method for different benchmark problems. The results demonstrate the flexibility and efficiency of the proposed method, especially for inverse problems.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
The Interior Inverse Electromagnetic Scattering for an Inhomogeneous Cavity
Authors:
Fang Zeng,
Shixu Meng
Abstract:
In this paper we consider the inverse electromagnetic scattering for a cavity surrounded by an inhomogeneous medium in three dimensions. The measurements are scattered wave fields measured on some surface inside the cavity, where such scattered wave fields are due to sources emitted on the same surface. We first prove that the measurements uniquely determine the shape of the cavity, where we make…
▽ More
In this paper we consider the inverse electromagnetic scattering for a cavity surrounded by an inhomogeneous medium in three dimensions. The measurements are scattered wave fields measured on some surface inside the cavity, where such scattered wave fields are due to sources emitted on the same surface. We first prove that the measurements uniquely determine the shape of the cavity, where we make use of a boundary value problem called the exterior transmission problem. We then complete the inverse scattering problem by designing the linear sampling method to reconstruct the cavity. Numerical examples are further provided to illustrate the viability of our algorithm.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
Analysis of a Backward Euler-type Scheme for Maxwell's Equations in a Havriliak-Negami Dispersive Medium
Authors:
Yubo Yang,
Li-Lian Wang,
Fanhai Zeng
Abstract:
For the Maxwell's equations in a Havriliak-Negami (H-N) dispersive medium, the associated energy dissipation law has not been settled at both continuous level and discrete level. In this paper, we rigorously show that the energy of the H-N model can be bounded by the initial energy and the model is well-posed. We analyse a backward Euler-type semi-discrete scheme, and prove that the modified discr…
▽ More
For the Maxwell's equations in a Havriliak-Negami (H-N) dispersive medium, the associated energy dissipation law has not been settled at both continuous level and discrete level. In this paper, we rigorously show that the energy of the H-N model can be bounded by the initial energy and the model is well-posed. We analyse a backward Euler-type semi-discrete scheme, and prove that the modified discrete energy decays monotonically in time. Such a strong stability ensures that the scheme is unconditionally stable. We also introduce a fast temporal convolution algorithm to alleviate the burden of the history dependence in the polarisation relation involving the singular kernel with the Mittag-Leffler function with three parameters. We provide ample numerical results to demonstrate the efficiency and accuracy of a full-discrete scheme via a spectra-Galerkin method in two dimensions. Finally, we consider an interesting application in the recovery of complex relative permittivity and some related physical quantities.
△ Less
Submitted 15 December, 2020; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Convergence analysis of the time-step** numerical methods for time-fractional nonlinear subdiffusion equations
Authors:
Hui Zhang,
Fanhai Zeng,
Xiaoyun Jiang,
George Em Karniadakis
Abstract:
In 1986, Dixon and McKee developed a discrete fractional Grönwall inequality [Z. Angew. Math. Mech., 66 (1986), pp. 535--544], which can be seen as a generalization of the classical discrete Grönwall inequality. However, this generalized discrete Grönwall inequality has not been widely applied in the numerical analysis of the time-step** methods for the time-fractional evolution equations. The m…
▽ More
In 1986, Dixon and McKee developed a discrete fractional Grönwall inequality [Z. Angew. Math. Mech., 66 (1986), pp. 535--544], which can be seen as a generalization of the classical discrete Grönwall inequality. However, this generalized discrete Grönwall inequality has not been widely applied in the numerical analysis of the time-step** methods for the time-fractional evolution equations. The main purpose of this paper is to show how to apply the generalized discrete Grönwall inequality to prove the convergence of a class of time-step** numerical methods for time-fractional nonlinear subdiffusion equations, including the popular fractional backward difference type methods of order one and two, and the second-order fractional Crank-Nicolson type methods. We obtain the optimal $L^2$ error estimate in space discretization. The convergence of the fast time-step** numerical methods is also proved in a simple manner.
△ Less
Submitted 7 April, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
Rigid properties of generalized $τ$-quasi Ricci-harmonic metrics
Authors:
Fanqi Zeng
Abstract:
In this paper, we study compact generalized $τ$-quasi Ricci-harmonic metrics. In the first part, we explore conditions under which generalized $τ$-quasi Ricci-harmonic metrics are harmonic-Einstein and give some characterization results for it. In the second part, we obtain some rigidity results for compact $(τ, ρ)$-quasi Ricci-harmonic metrics which are special case of generalized $τ$-quasi Ricci…
▽ More
In this paper, we study compact generalized $τ$-quasi Ricci-harmonic metrics. In the first part, we explore conditions under which generalized $τ$-quasi Ricci-harmonic metrics are harmonic-Einstein and give some characterization results for it. In the second part, we obtain some rigidity results for compact $(τ, ρ)$-quasi Ricci-harmonic metrics which are special case of generalized $τ$-quasi Ricci-harmonic metrics. In the third part, we shall give two gap theorems for compact $τ$-quasi Ricci-harmonic metrics by showing some necessary and sufficient conditions for the metrics to be harmonic-Einstein.
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
Optimal order finite element approximations for variable-order time-fractional diffusion equations
Authors:
Xiangcheng Zheng,
Fanhai Zeng,
Hong Wang
Abstract:
We study a fully discrete finite element method for variable-order time-fractional diffusion equations with a time-dependent variable order. Optimal convergence estimates are proved with the first-order accuracy in time (and second order accuracy in space) under the uniform or graded temporal mesh without full regularity assumptions of the solutions. Numerical experiments are presented to substant…
▽ More
We study a fully discrete finite element method for variable-order time-fractional diffusion equations with a time-dependent variable order. Optimal convergence estimates are proved with the first-order accuracy in time (and second order accuracy in space) under the uniform or graded temporal mesh without full regularity assumptions of the solutions. Numerical experiments are presented to substantiate the analysis.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
A discrete least squares collocation method for two-dimensional nonlinear time-dependent partial differential equations
Authors:
Fanhai Zeng,
Ian Turner,
Kevin Burrage,
Stephen J. Wright
Abstract:
In this paper, we develop regularized discrete least squares collocation and finite volume methods for solving two-dimensional nonlinear time-dependent partial differential equations on irregular domains. The solution is approximated using tensor product cubic spline basis functions defined on a background rectangular (interpolation) mesh, which leads to high spatial accuracy and straightforward i…
▽ More
In this paper, we develop regularized discrete least squares collocation and finite volume methods for solving two-dimensional nonlinear time-dependent partial differential equations on irregular domains. The solution is approximated using tensor product cubic spline basis functions defined on a background rectangular (interpolation) mesh, which leads to high spatial accuracy and straightforward implementation, and establishes a solid base for extending the computational framework to three-dimensional problems. A semi-implicit time-step** method is employed to transform the nonlinear partial differential equation into a linear boundary value problem. A key finding of our study is that the newly proposed mesh-free finite volume method based on circular control volumes reduces to the collocation method as the radius limits to zero. Both methods produce a large constrained least-squares problem that must be solved at each time step in the advancement of the solution. We have found that regularization yields a relatively well-conditioned system that can be solved accurately using QR factorization. An extensive numerical investigation is performed to illustrate the effectiveness of the present methods, including the application of the new method to a coupled system of time-fractional partial differential equations having different fractional indices in different (irregularly shaped) regions of the solution domain.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
A stabilized semi-implicit Fourier spectral method for nonlinear space-fractional reaction-diffusion equations
Authors:
Hui Zhang,
Xiaoyun Jiang,
Fanhai Zeng,
George Em Karniadakis
Abstract:
The reaction-diffusion model can generate a wide variety of spatial patterns, which has been widely applied in chemistry, biology, and physics, even used to explain self-regulated pattern formation in the develo** animal embryo. In this work, a second-order stabilized semi-implicit time-step** Fourier spectral method is presented for the reaction-diffusion systems of equations with space descr…
▽ More
The reaction-diffusion model can generate a wide variety of spatial patterns, which has been widely applied in chemistry, biology, and physics, even used to explain self-regulated pattern formation in the develo** animal embryo. In this work, a second-order stabilized semi-implicit time-step** Fourier spectral method is presented for the reaction-diffusion systems of equations with space described by the fractional Laplacian. We adopt the temporal-spatial error splitting argument to illustrate that the proposed method is stable without imposing the CFL condition, and we prove an optimal L2-error estimate. We also analyze the linear stability of the stabilized semi-implicit method and obtain a practical criterion to choose the time step size to guarantee the stability of the semi-implicit method. Our approach is illustrated by solving several problems of practical interest, including the fractional Allen-Cahn, Gray-Scott and FitzHugh-Nagumo models, together with an analysis of the properties of these systems in terms of the fractional power of the underlying Laplacian operator, which are quite different from the patterns of the corresponding integer-order model.
△ Less
Submitted 16 April, 2019;
originally announced April 2019.
-
Multi-frequency iterative methods for the inverse medium scattering problems in elasticity
Authors:
Gang Bao,
Tao Yin,
Fang Zeng
Abstract:
This paper concerns the reconstruction of multiple elastic parameters (Lamé parameters and density) of an inhomogeneous medium embedded in an infinite homogeneous isotropic background in $\mathbb{R}^2$. The direct scattering problem is reduced to an equivalent system on a bounded domain by introducing an exact transparent boundary condition and the wellposedness of the corresponding variational pr…
▽ More
This paper concerns the reconstruction of multiple elastic parameters (Lamé parameters and density) of an inhomogeneous medium embedded in an infinite homogeneous isotropic background in $\mathbb{R}^2$. The direct scattering problem is reduced to an equivalent system on a bounded domain by introducing an exact transparent boundary condition and the wellposedness of the corresponding variational problem is established. The Fréchet differentiability of the near-field scattering map is studied with respect to the elastic parameters. Based on the multi-frequency measurement data and its phaseless term, two Landweber iterative algorithms are developed for the reconstruction of the multiple elastic parameters. Numerical examples, indicating that plane pressure incident wave is a better choice, are presented to show the validity and accuracy of our methods.
△ Less
Submitted 11 February, 2019;
originally announced February 2019.
-
Numerical analysis of linear and nonlinear time-fractional subdiffusion equations
Authors:
Yubo Yang,
Fanhai Zeng
Abstract:
In this paper, a new type of the discrete fractional Gr{ö}nwall inequality is developed, which is applied to analyze the stability and convergence of a Galerkin spectral method for a linear time-fractional subdiffusion equation. Based on the temporal-spatial error splitting argument technique, the discrete fractional Gr{ö}nwall inequality is also applied to prove the unconditional convergence of a…
▽ More
In this paper, a new type of the discrete fractional Gr{ö}nwall inequality is developed, which is applied to analyze the stability and convergence of a Galerkin spectral method for a linear time-fractional subdiffusion equation. Based on the temporal-spatial error splitting argument technique, the discrete fractional Gr{ö}nwall inequality is also applied to prove the unconditional convergence of a semi-implicit Galerkin spectral method for a nonlinear time-fractional subdiffusion equation.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Efficient multistep methods for tempered fractional calculus: Algorithms and Simulations
Authors:
Ling Guo,
Fanhai Zeng,
Ian Turner,
Kevin Burrage,
George Em Karniadakis
Abstract:
In this work, we extend the fractional linear multistep methods in [C. Lubich, SIAM J. Math. Anal., 17 (1986), pp.704--719] to the tempered fractional integral and derivative operators in the sense that the tempered fractional derivative operator is interpreted in terms of the Hadamard finite-part integral. We develop two fast methods, Fast Method I and Fast Method II, with linear complexity to ca…
▽ More
In this work, we extend the fractional linear multistep methods in [C. Lubich, SIAM J. Math. Anal., 17 (1986), pp.704--719] to the tempered fractional integral and derivative operators in the sense that the tempered fractional derivative operator is interpreted in terms of the Hadamard finite-part integral. We develop two fast methods, Fast Method I and Fast Method II, with linear complexity to calculate the discrete convolution for the approximation of the (tempered) fractional operator. Fast Method I is based on a local approximation for the contour integral that represents the convolution weight. Fast Method II is based on a globally uniform approximation of the trapezoidal rule for the integral on the real line. Both methods are efficient, but numerical experimentation reveals that Fast Method II outperforms Fast Method I in terms of accuracy, efficiency, and coding simplicity. The memory requirement and computational cost of Fast Method II are $O(Q)$ and $O(Qn_T)$, respectively, where $n_T$ is the number of the final time steps and $Q$ is the number of quadrature points used in the trapezoidal rule. The effectiveness of the fast methods is verified through a series of numerical examples for long-time integration, including a numerical study of a fractional reaction-diffusion model.
△ Less
Submitted 8 December, 2018; v1 submitted 3 December, 2018;
originally announced December 2018.
-
An alternating direction implicit spectral method for solving two dimensional multi-term time fractional mixed diffusion and diffusion-wave equations
Authors:
Zeting Liu,
Fawang Liu,
Fanhai Zeng
Abstract:
In this paper, we consider the initial boundary value problem of the two dimensional multi-term time fractional mixed diffusion and diffusion-wave equations. An alternating direction implicit (ADI) spectral method is developed based on Legendre spectral approximation in space and finite difference discretization in time. Numerical stability and convergence of the schemes are proved, the optimal er…
▽ More
In this paper, we consider the initial boundary value problem of the two dimensional multi-term time fractional mixed diffusion and diffusion-wave equations. An alternating direction implicit (ADI) spectral method is developed based on Legendre spectral approximation in space and finite difference discretization in time. Numerical stability and convergence of the schemes are proved, the optimal error is $O(N^{-r}+τ^2)$, where $N, τ, r$ are the polynomial degree, time step size and the regularity of the exact solution, respectively. We also consider the non-smooth solution case by adding some correction terms. Numerical experiments are presented to confirm our theoretical analysis. These techniques can be used to model diffusion and transport of viscoelastic non-Newtonian fluids.
△ Less
Submitted 31 August, 2018; v1 submitted 28 August, 2018;
originally announced August 2018.
-
A new class of semi-implicit methods with linear complexity for nonlinear fractional differential equations
Authors:
Fanhai Zeng,
Ian Turner,
Kevin Burrage,
George Em Karniadakis
Abstract:
We propose a new class of semi-implicit methods for solving nonlinear fractional differential equations and study their stability. Several versions of our new schemes are proved to be unconditionally stable by choosing suitable parameters. Subsequently, we develop an efficient strategy to calculate the discrete convolution for the approximation of the fractional operator in the semi-implicit metho…
▽ More
We propose a new class of semi-implicit methods for solving nonlinear fractional differential equations and study their stability. Several versions of our new schemes are proved to be unconditionally stable by choosing suitable parameters. Subsequently, we develop an efficient strategy to calculate the discrete convolution for the approximation of the fractional operator in the semi-implicit method and we derive an error bound of the fast convolution. The memory requirement and computational cost of the present semi-implicit methods with a fast convolution are about $O(N\log n_T)$ and $O(Nn_T\log n_T)$, respectively, where $N$ is a suitable positive integer and $n_T$ is the final number of time steps. Numerical simulations, including the solution of a system of two nonlinear fractional diffusion equations with different fractional orders in two-dimensions, are presented to verify the effectiveness of the semi-implicit methods.
△ Less
Submitted 11 August, 2018; v1 submitted 6 August, 2018;
originally announced August 2018.
-
On the analysis of mixed-index time fractional differential equation systems
Authors:
Kevin Burrage,
Pamela M. Burrage,
Ian W. Turner,
Fanhai Zeng
Abstract:
In this paper we study the class of mixed-index time fractional differential equations in which different components of the problem have different time fractional derivatives on the left hand side. We prove a theorem on the solution of the linear system of equations, which collapses to the well-known Mittag-Leffler solution in the case the indices are the same, and also generalises the solution of…
▽ More
In this paper we study the class of mixed-index time fractional differential equations in which different components of the problem have different time fractional derivatives on the left hand side. We prove a theorem on the solution of the linear system of equations, which collapses to the well-known Mittag-Leffler solution in the case the indices are the same, and also generalises the solution of the so-called linear sequential class of time fractional problems. We also investigate the asymptotic stability properties of this class of problems using Laplace transforms and show how Laplace transforms can be used to write solutions as linear combinations of generalised Mittag-Leffler functions in some cases. Finally we illustrate our results with some numerical simulations.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
The Mean Curvature Flow in Minkowski Spaces
Authors:
Fanqi Zeng,
Qun He,
Bin Chen
Abstract:
Studying the geometric flow plays a powerful role in mathematics and physics. In this paper, we introduce the mean curvature flow on Finsler manifolds and give a number of examples of the mean curvature flow. For Minkowski spaces, a special case of Finsler manifolds, we will prove the existence and uniqueness for solution of the mean curvature flow and prove that the flow preserves the convexity a…
▽ More
Studying the geometric flow plays a powerful role in mathematics and physics. In this paper, we introduce the mean curvature flow on Finsler manifolds and give a number of examples of the mean curvature flow. For Minkowski spaces, a special case of Finsler manifolds, we will prove the existence and uniqueness for solution of the mean curvature flow and prove that the flow preserves the convexity and mean convexity. We also derive some comparison principles for the mean curvature flow.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
A stable fast time-step** method for fractional integral and derivative operators
Authors:
Fanhai Zeng,
Ian Turner,
Kevin Burrage
Abstract:
A unified fast time-step** method for both fractional integral and derivative operators is proposed. The fractional operator is decomposed into a local part with memory length $ΔT$ and a history part, where the local part is approximated by the direct convolution method and the history part is approximated by a fast memory-saving method. The fast method has $O(n_0+\sum_{\ell}^L{q}_α(N_{\ell}))$…
▽ More
A unified fast time-step** method for both fractional integral and derivative operators is proposed. The fractional operator is decomposed into a local part with memory length $ΔT$ and a history part, where the local part is approximated by the direct convolution method and the history part is approximated by a fast memory-saving method. The fast method has $O(n_0+\sum_{\ell}^L{q}_α(N_{\ell}))$ active memory and $O(n_0n_T+ (n_T-n_0)\sum_{\ell}^L{q}_α(N_{\ell}))$ operations, where $L=\log(n_T-n_0)$, $n_0={ΔT}/τ,n_T=T/τ$, $τ$ is the stepsize, $T$ is the final time, and ${q}_α{(N_{\ell})}$ is the number of quadrature points used in the truncated Laguerre--Gauss (LG) quadrature. The error bound of the present fast method is analyzed. It is shown that the error from the truncated LG quadrature is independent of the stepsize, and can be made arbitrarily small by choosing suitable parameters that are given explicitly. Numerical examples are presented to verify the effectiveness of the current fast method.
△ Less
Submitted 25 October, 2017; v1 submitted 16 March, 2017;
originally announced March 2017.
-
Second-order numerical methods for multi-term fractional differential equations: Smooth and non-smooth solutions
Authors:
Fanhai Zeng,
Zhongqiang Zhang,
George Em Karniadakis
Abstract:
Starting with the asymptotic expansion of the error equation of the shifted Grünwald--Letnikov formula, we derive a new modified weighted shifted Grünwald--Letnikov (WSGL) formula by introducing appropriate correction terms. We then apply one special case of the modified WSGL formula to solve multi-term fractional ordinary and partial differential equations, and we prove the linear stability and s…
▽ More
Starting with the asymptotic expansion of the error equation of the shifted Grünwald--Letnikov formula, we derive a new modified weighted shifted Grünwald--Letnikov (WSGL) formula by introducing appropriate correction terms. We then apply one special case of the modified WSGL formula to solve multi-term fractional ordinary and partial differential equations, and we prove the linear stability and second-order convergence for both smooth and non-smooth solutions. We show theoretically and numerically that numerical solutions up to certain accuracy can be obtained with only a few correction terms. Moreover, the correction terms can be tuned according to the fractional derivative orders without explicitly knowing the analytical solutions. Numerical simulations verify the theoretical results and demonstrate that the new formula leads to better performance compared to other known numerical approximations with similar resolution.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
Implicit-Explicit difference schemes for nonlinear fractional differential equations with non-smooth solutions
Authors:
Wanrong Cao,
Fanhai Zeng,
Zhongqiang Zhang,
George Em Karniadakis
Abstract:
We propose second-order implicit-explicit (IMEX) time-step** schemes for nonlinear fractional differential equations with fractional order $0<β<1$. From the known structure of the non-smooth solution and by introducing corresponding correction terms, we can obtain uniformly second-order accuracy from these schemes. We prove the convergence and linear stability of the proposed schemes. Numerical…
▽ More
We propose second-order implicit-explicit (IMEX) time-step** schemes for nonlinear fractional differential equations with fractional order $0<β<1$. From the known structure of the non-smooth solution and by introducing corresponding correction terms, we can obtain uniformly second-order accuracy from these schemes. We prove the convergence and linear stability of the proposed schemes. Numerical examples illustrate the flexibility and efficiency of the IMEX schemes and show that they are effective for nonlinear and multi-rate fractional differential systems as well as multi-term fractional differential systems with non-smooth solutions.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
A spectral projection method for transmission eigenvalues
Authors:
Fang Zeng,
Jiguang Sun,
Liwei Xu
Abstract:
In this paper, we consider a nonlinear integral eigenvalue problem, which is a reformulation of the transmission eigenvalue problem arising in the inverse scattering theory. The boundary element method is employed for discretization, which leads to a generalized matrix eigenvalue problem. We propose a novel method based on the spectral projection. The method probes a given region on the complex pl…
▽ More
In this paper, we consider a nonlinear integral eigenvalue problem, which is a reformulation of the transmission eigenvalue problem arising in the inverse scattering theory. The boundary element method is employed for discretization, which leads to a generalized matrix eigenvalue problem. We propose a novel method based on the spectral projection. The method probes a given region on the complex plane using contour integrals and decides if the region contains eigenvalue(s) or not. It is particularly suitable to test if zero is an eigenvalue of the generalized eigenvalue problem, which in turn implies that the associated wavenumber is a transmission eigenvalue. Effectiveness and efficiency of the new method are demonstrated by numerical examples.
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Monotonicity of eigenvalues of geometric operaters along the Ricci-Bourguignon flow
Authors:
Fanqi Zeng,
Qun He,
Bin Chen
Abstract:
In this paper, we study monotonicity of eigenvalues of Laplacian-type operator $-Δ+cR$, where $c$ is a constant, along the Ricci-Bourguignon flow. For $c\neq0$, We derive monotonicity of the lowest eigenvalue of Laplacian-type operator $-Δ+cR$ which generalizes some results of Cao \cite{Cao2007}. For $c=0$, We derive monotonicity of the first eigenvalue of Laplacian which generalizes some results…
▽ More
In this paper, we study monotonicity of eigenvalues of Laplacian-type operator $-Δ+cR$, where $c$ is a constant, along the Ricci-Bourguignon flow. For $c\neq0$, We derive monotonicity of the lowest eigenvalue of Laplacian-type operator $-Δ+cR$ which generalizes some results of Cao \cite{Cao2007}. For $c=0$, We derive monotonicity of the first eigenvalue of Laplacian which generalizes some results of Ma \cite{Ma2006}. Moreover, we prove that when $(M_{3}, g_{0})$ is a closed three manifold with positive Ricci curvature, the eigenvalue of the Laplacian diverges as $t \rightarrow T$ on a limited maximal time in terval $[0, T)$, which generalizes some results of Cerbo and Fabrizio \cite{Fabrizio2007}.
△ Less
Submitted 26 December, 2015;
originally announced December 2015.
-
Second-order Stable Finite Difference Schemes for the Time-fractional Diffusion-wave Equation
Authors:
Fanhai Zeng
Abstract:
We propose two stable and one conditionally stable finite difference schemes of second-order in both time and space for the time-fractional diffusion-wave equation. In the first scheme, we apply the fractional trapezoidal rule in time and the central difference in space. We use the generalized Newton-Gregory formula in time for the second scheme and its modification for the third scheme. While the…
▽ More
We propose two stable and one conditionally stable finite difference schemes of second-order in both time and space for the time-fractional diffusion-wave equation. In the first scheme, we apply the fractional trapezoidal rule in time and the central difference in space. We use the generalized Newton-Gregory formula in time for the second scheme and its modification for the third scheme. While the second scheme is conditionally stable, the first and the third schemes are stable. We apply the methodology to the considered equation with also linear advection-reaction terms and also obtain second-order schemes both in time and space. Numerical examples with comparisons among the proposed schemes and the existing ones verify the theoretical analysis and show that the present schemes exhibit better performances than the known ones.
△ Less
Submitted 7 November, 2014; v1 submitted 20 July, 2014;
originally announced July 2014.
-
Fractional differentiation matrices with applications
Authors:
Fanhai Zeng,
Changpin Li
Abstract:
In this paper, the fractional differential matrices based on the Jacobi-Gauss points are derived with respect to the Caputo and Riemann-Liouville fractional derivative operators. The spectral radii of the fractional differential matrices are investigated numerically. The spectral collocation schemes are illustrated to solve the fractional ordinary differential equations and fractional partial diff…
▽ More
In this paper, the fractional differential matrices based on the Jacobi-Gauss points are derived with respect to the Caputo and Riemann-Liouville fractional derivative operators. The spectral radii of the fractional differential matrices are investigated numerically. The spectral collocation schemes are illustrated to solve the fractional ordinary differential equations and fractional partial differential equations. Numerical examples are also presented to illustrate the effectiveness of the derived methods, which show better performances over some existing methods.
△ Less
Submitted 4 November, 2015; v1 submitted 17 April, 2014;
originally announced April 2014.