-
Enhancing accuracy with an adaptive discretization for the non-local integro-partial differential equations involving initial time singularities
Authors:
Sudarshan Santra,
Ratikanta Behera
Abstract:
This work aims to construct an efficient and highly accurate numerical method to address the time singularity at $t=0$ involved in a class of time-fractional parabolic integro-partial differential equations in one and two dimensions. The $L2$-$1_σ$ scheme is used to discretize the time-fractional operator, whereas a modified version of the composite trapezoidal approximation is employed to discret…
▽ More
This work aims to construct an efficient and highly accurate numerical method to address the time singularity at $t=0$ involved in a class of time-fractional parabolic integro-partial differential equations in one and two dimensions. The $L2$-$1_σ$ scheme is used to discretize the time-fractional operator, whereas a modified version of the composite trapezoidal approximation is employed to discretize the Volterra operator. Subsequently, it helps to convert the proposed model into a second-order BVP in a semi-discrete form. The multi-dimensional Haar wavelets are then used for grid adaptation and efficient computations for the 2D problem, whereas the standard second-order approximations are employed to approximate the spatial derivatives for the 1D case. The stability analysis is carried out on an adaptive mesh in time. The convergence analysis leads to $O(N^{-2}+M^{-2})$ accurate solution in the space-time domain for the 1D problem having time singularity based on the $L^\infty$ norm for a suitable choice of the grading parameter. Furthermore, it provides $O(N^{-2}+M^{-3})$ accurate solution for the 2D problem having unbounded time derivative at $t=0$. The analysis also highlights a higher order accuracy for a sufficiently smooth solution resides in $C^3(\overlineΩ_t)$ even if the mesh is discretized uniformly. The truncation error estimates for the time-fractional operator, integral operator, and spatial derivatives are presented. Numerous tests are performed on several examples in support of the theoretical analysis. The advancement of the proposed methodology is demonstrated through the application of the time-fractional Fokker-Planck equation and the fractional-order viscoelastic dynamics having weakly singular kernels. It also confirms the superiority of the proposed method compared with existing approaches available in the literature.
△ Less
Submitted 25 September, 2024; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Positive solutions to a fractional equation with singular nonlinearity
Authors:
Adimurthi,
Jacques Giacomoni,
Sanjiban Santra
Abstract:
In this paper, we study the positive solutions to the following singular and non local elliptic problem posed in a bounded and smooth domain $Ω\subset \R^N$, $N> 2s$: % \begin{eqnarray*} (P_λ)\left\{\begin{array}{lll} &(-Δ)^s u=λ(K(x)u^{-δ}+f(u))\mbox{ in }Ω&u>0 \mbox{ in }Ω& u\equiv\, 0\mbox{ in }\R^N\backslashΩ. \end{array}\right. \end{eqnarray*} % Here $0<s<1$, $δ>0$, $λ>0$ and…
▽ More
In this paper, we study the positive solutions to the following singular and non local elliptic problem posed in a bounded and smooth domain $Ω\subset \R^N$, $N> 2s$: % \begin{eqnarray*} (P_λ)\left\{\begin{array}{lll} &(-Δ)^s u=λ(K(x)u^{-δ}+f(u))\mbox{ in }Ω&u>0 \mbox{ in }Ω& u\equiv\, 0\mbox{ in }\R^N\backslashΩ. \end{array}\right. \end{eqnarray*} % Here $0<s<1$, $δ>0$, $λ>0$ and $f\,:\, \R^+\to\R^+$ is a positive $C^2$ function. $K\,:\, Ω\to \R^+$ is a Hölder continuous function in $Ω$ which behave as ${\rm dist}(x,\partialΩ)^{-β}$ near the boundary with $0\leq β<2s$.
First, for any $δ>0$ and for $λ>$ small enough, we prove the existence of solutions to $(P_λ)$. Next, for a suitable range of values of $δ$, we show the existence of an unbounded connected branch of solutions to $(P_λ)$ emanating from the trivial solution at $λ=0$. For a certain class of nonlinearities $f$, we derive a global multiplicity result that extends results proved in \cite{peral-al}. To establish the results, we prove new properties which are of independent interest and deal with the behavior and Hölder regularity of solutions to $(P_λ)$.
△ Less
Submitted 8 November, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Profile of solutions for nonlocal equations with critical and supercritical nonlinearities
Authors:
Mousomi Bhakta,
Debangana Mukherjee,
Sanjiban Santra
Abstract:
We study the fractional laplacian problem (-Δ)^s u &=& u^p -εu^q \quad\text{in }\quad Ω, u &\in& H^s(Ω)\cap L^{q+1}(Ω),u &>&0 \quad\text{in }\quad Ω, u&=&0 \quad\text{in}\quad \mathbb{R}^N\setminusΩ, where $s\in(0,1)$, $q>p\geq \frac{N+2s}{N-2s}$ and $ε>0$ is a parameter. Here $Ω\subseteq\mathbb{R}^N$ is a bounded star-shaped domain with smooth boundary and $N> 2 s$. We establish existence of a va…
▽ More
We study the fractional laplacian problem (-Δ)^s u &=& u^p -εu^q \quad\text{in }\quad Ω, u &\in& H^s(Ω)\cap L^{q+1}(Ω),u &>&0 \quad\text{in }\quad Ω, u&=&0 \quad\text{in}\quad \mathbb{R}^N\setminusΩ, where $s\in(0,1)$, $q>p\geq \frac{N+2s}{N-2s}$ and $ε>0$ is a parameter. Here $Ω\subseteq\mathbb{R}^N$ is a bounded star-shaped domain with smooth boundary and $N> 2 s$. We establish existence of a variational positive solution $u_ε$ and characterize the asymptotic behaviour of $u_ε$ as $ε\to 0$. When $p=\frac{N+2s}{N-2s}$, we describe how the solution $u_ε$ concentrates and blows up at a interior point of the domain. Furthermore, we prove the local uniqueness of solution of the above problem when $Ω$ is a convex symmetric domain of $\mathbb{R}^N$ with $N>4s$ and $p=\frac{N+2s}{N-2s}$.
△ Less
Submitted 14 October, 2017; v1 submitted 6 December, 2016;
originally announced December 2016.
-
On singular equations with critical and supercritical exponents
Authors:
Mousomi Bhakta,
Sanjiban Santra
Abstract:
We study the problem \begin{equation*} (I_ε) \left\{\begin{aligned}
-Δu- \frac{μu}{|x|^2}&=u^p -εu^q \quad\text{in }\quad Ω, \\ u&>0 \quad\text{in }\quad Ω, \\ u &\in H^1_0(Ω)\cap L^{q+1}(Ω),
\end{aligned}
\right. \end{equation*} where $q>p\geq 2^*-1$, $ε>0$ is a parameter, $Ω\subseteq\mathbb{R}^N$ is a bounded domain with smooth boundary, $0\in Ω$, $N\geq 3$ and…
▽ More
We study the problem \begin{equation*} (I_ε) \left\{\begin{aligned}
-Δu- \frac{μu}{|x|^2}&=u^p -εu^q \quad\text{in }\quad Ω, \\ u&>0 \quad\text{in }\quad Ω, \\ u &\in H^1_0(Ω)\cap L^{q+1}(Ω),
\end{aligned}
\right. \end{equation*} where $q>p\geq 2^*-1$, $ε>0$ is a parameter, $Ω\subseteq\mathbb{R}^N$ is a bounded domain with smooth boundary, $0\in Ω$, $N\geq 3$ and $0<μ<\barμ:=\big(\frac{N-2}{2}\big)^2$. We prove at $0$, any solution of $(I_ε)$ has the singularity of order $|x|^{-ν}$ when $q<\frac{2+ν}ν$ and of the order $|x|^{-\frac{2}{q-1}}$, when $q>\frac{2+ν}ν$, where $ν=\sqrt{\barμ}-\sqrt{\barμ-μ}$. Moreover, we show that when $q=\frac{2+ν}ν$ and $u$ is radial, $u\sim |x|^{-ν}|\log|x||^{-\fracν{2}}$. This gives the complete classification of singularity at $0$ in the supercritical case. We also obtain gradient estimate. Using the transformation $v=|x|^νu$, we reduce the problem $(I_ε)$ to $(J_ε)$ \begin{equation*} (J_ε) \left\{\begin{aligned}
-div(|x|^{-2ν} \nabla v)&=|x|^{-(p+1)ν} v^p -ε|x|^{-(q+1)ν} v^q \quad\text{in }\quad Ω, \\ v&>0 \quad\text{in }\quad Ω, \\ v& \in H^1_0(Ω, |x|^{-2ν} )\cap L^{q+1}(Ω, |x|^{-(q+1)ν} ),
\end{aligned}
\right. \end{equation*} and then formulating a variational problem for $(J_ε)$, we establish the existence of a variational solution $v_ε$. Furthermore, we characterize the asymptotic behavior of $v_ε$ as $ε\to 0$ by variational arguments and when $p=2^*-1$, we show how the solution $v_ε$ blows-up at $0$.
This is the first paper where the results have been established with super critical exponents for $μ>0$.
△ Less
Submitted 18 September, 2016; v1 submitted 1 August, 2016;
originally announced August 2016.
-
New entire positive solution for the nonlinear Schrodinger equation: Coexistence of fronts and bumps
Authors:
Sanjiban Santra,
Juncheng Wei
Abstract:
In this paper we construct a new kind of positive solutions of $$\De u-u+u^{p}=0 \text{on} \R^2$$ when $p> 2.$ These solutions $\displaystyle{u(x,z)\sim \om(x-f(z))+ \sum_{i=1}^{\infty}\om_{0}((x, z)-ξ_i\vec{e}_{1})}$ as $L\rightarrow +\infty$ where $\om$ is a unique positive homoclinic solution of $\om"-\om+\om^{p}=0$ in $\R$ ; $\om_{0}$ is the two dimensional positive solution and…
▽ More
In this paper we construct a new kind of positive solutions of $$\De u-u+u^{p}=0 \text{on} \R^2$$ when $p> 2.$ These solutions $\displaystyle{u(x,z)\sim \om(x-f(z))+ \sum_{i=1}^{\infty}\om_{0}((x, z)-ξ_i\vec{e}_{1})}$ as $L\rightarrow +\infty$ where $\om$ is a unique positive homoclinic solution of $\om"-\om+\om^{p}=0$ in $\R$ ; $\om_{0}$ is the two dimensional positive solution and $\vec{e}_{1}= (1, 0)$ and $ξ_{j}$ are points such that $ξ_{j}= jL+ \mathcal{O}(1)$ for all $j\geq 1.$ This represents a first result on the {\em coexistence} of fronts and bumps. Geometrically, our new solutions correspond to {\em triunduloid} in the theory of CMC surface.
△ Less
Submitted 31 May, 2011; v1 submitted 12 August, 2010;
originally announced August 2010.
-
Homoclinic solutions for fourth order traveling wave equations
Authors:
Sanjiban Santra,
Juncheng Wei
Abstract:
We consider homoclinic solutions of fourth order equations $$ u^{""} + β^2 u^{"} + V_u (u)=0 {in} \R ,$$ where $V(u)$ is either the suspension bridge type $V(u)=e^u-1-u$ or Swift-Hohenberg type $ V(u)= {1/4}(u^2-1)^2$. For the suspension bridge type equation, we prove existence of a homoclinic solution for {\em all} $ β\in (0, β_*)$ where $ β_{*}= 0.7427...$. For the Swift-Hohenberg type equatio…
▽ More
We consider homoclinic solutions of fourth order equations $$ u^{""} + β^2 u^{"} + V_u (u)=0 {in} \R ,$$ where $V(u)$ is either the suspension bridge type $V(u)=e^u-1-u$ or Swift-Hohenberg type $ V(u)= {1/4}(u^2-1)^2$. For the suspension bridge type equation, we prove existence of a homoclinic solution for {\em all} $ β\in (0, β_*)$ where $ β_{*}= 0.7427...$. For the Swift-Hohenberg type equation, we prove existence of a homoclinic solution for each $β\in (0, β_{*})$, where $β_{*}=0.9342...$. This partially solves a conjecture of Chen--McKenna \cite{YCM1}.
△ Less
Submitted 28 August, 2009; v1 submitted 20 April, 2009;
originally announced April 2009.
