In this article, we prove the convergence of a semi-discrete numerical method applied to a general class of nonlocal nonlinear wave equations where the nonlocality is introduced through the convolution operator in space. The most important characteristic of the numerical method is that it is directly applied to the nonlocal equation by introducing the discrete convolution operator. Starting from the continuous Cauchy problem defined on the real line, we first construct the discrete Cauchy problem on a uniform grid of the real line. Thus the semi-discretization in space of the continuous problem gives rise to an infinite system of ordinary differential equations in time. We show that the initial-value problem for this system is well-posed. We prove that solutions of the discrete problem converge uniformly to those of the continuous one as the mesh size goes to zero and that they are second-order convergent in space. We then consider a truncation of the infinite domain to a finite one. We prove that the solution of the truncated problem approximates the solution of the continuous problem when the truncated domain is sufficiently large. Finally, we present some numerical experiments that confirm numerically both the expected convergence rate of the semi-discrete scheme and the ability of the method to capture finite-time blow-up of solutions for various convolution kernels.

May 21 2018

math.AP arXiv:1805.07335v1

The inclusion equations of the type $f \in T ( x)$ where $T : X \to 2^{X^{\ast}}$ is a maximal monotone map, are extensively studied in nonlinear analysis. In this paper, we present a new construction of the degree of maximal monotone maps of the form $T:Y\to 2^{X^*}$, where the Banach space $Y$ is continuously embedded in $X$. In addition we prove a few classical theorems in convex analysis by degree theoretic method. The advantage of the new construction lies in the remarkable simplicity it offers for calculation of degree in comparison with the classical one suggested by F. Browder.

May 21 2018

math.AP arXiv:1805.07321v1

We consider the parabolic, initial value problem $$ v_t =\Delta_p(v)+\lambda g(x,v)\phi_p(v), \quad \textin $\Omega \times (0,\infty),$ $$ \[v =0, \textin $\partial\Omega \times (0,\infty),$\tagIVP v =v_0\ge0, \textin $\Omega \times \{0\},$ \]where $\Omega$ is a bounded domain in ${\mathbb R}^N$, for some integer $N\ge1$, with smooth boundary $\partial\Omega$, $\phi_p(s):=|s|^{p-1} {\rm sgn}s$, $s\in{\mathbb R}$, $\Delta_p$ denotes the $p$-Laplacian, with $p>\max\{2,N\}$, $v_0\in C^0(\overline{\Omega})$, and $\lambda>0$. The function $g:\overline{\Omega } \times [0,\infty)\to(0,\infty)$ is $C^0$ and, for each $x\in\overline{\Omega }$, the function $g(x,\cdot):[0,\infty)\to(0,\infty)$ is Lipschitz continuous and strictly decreasing. Clearly, (IVP) has the trivial solution $v\equiv0$, for all $\lambda>0$. In addition, there exists $0<\lambda_{\rm min}(g)<\lambda_{\rm max}(g)$ ($\lambda_{\rm max}(g)$ may be $\infty$) such that: $(a)$ if $\lambda\not\in(\lambda_{\rm min}(g),\lambda_{\rm max}(g))$ then (IVP) has no non-trivial, positive equilibrium; $(b)$ if $\lambda\in(\lambda_{\rm min}(g),\lambda_{\rm max}(g))$ then (IVP) has a unique, non-trivial, positive equilibrium $e_\lambda\in W_0^{1,p}(\Omega)$. We prove the following results on the positive solutions of (IVP): $(a)$ if $0<\lambda<\lambda_{\rm min}(g)$ then the trivial solution is globally asymptotically stable; $(b)$ if $\lambda_{\rm min}(g)<\lambda<\lambda_{\rm max}(g)$ then $e_\lambda$ is globally asymptotically stable; $(c)$ if $\lambda_{\rm max}(g)<\lambda$ then any non-trivial solution blows up in finite time.

May 21 2018

math.AP arXiv:1805.07270v1

We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition. This result brings the state of affairs in the parabolic setting up to the elliptic standard. Furthermore, we establish that if the coefficients of the operator $A,\,B$ satisfy a vanishing Carleson condition and the time-varying domain is of VMO type then the parabolic $L^p$ Dirichlet boundary value problem is solvable for all $1 < p \leq \infty$. This result is related to results in papers by Mazýa, Mitrea and Shaposhnikova, and Hofmann, Mitrea and Taylor where the fact that boundary of domain has normal in VMO or near VMO implies invertibility of certain boundary operators in $L^p$ for all $1 < p \leq \infty$ which then (using the method of layer potentials) implies solvability of the $L^p$ boundary value problem in the same range for certain elliptic PDEs. Our result does not use the method of layer potentials, since the coefficients we consider are too rough to use this technique but remarkably we recover $L^p$ solvability in the full range of $p$'s as the two papers mentioned above.

May 21 2018

math.AP arXiv:1805.07260v1

In this article, we establish a Liouville type theorem for the anisotropic singular problem $$ \sum_i=1^N\frac∂∂x_i(|\frac∂u∂x_i|^p_i-2\frac∂u∂x_i)=e^\frac1u\;\;\mboxin\;\;\mathbbR^N $$ concerning positive $W^{1,p_i}(\mathbb{R}^N)$ stable solution, provided $N\geq 1$ and $p_i>2$ for all $i=1,2,\dots{N}$.

May 21 2018

math.AP arXiv:1805.07255v1

We prove convergence of a finite difference scheme to the unique entropy solution of a general form of the Ostrovsky--Hunter equation on a bounded domain with non-homogeneous Dirichlet boundary conditions. Our scheme is an extension of monotone schemes for conservation laws to the equation at hand. The convergence result at the center of this article also proves existence of entropy solutions for the initial-boundary value prob lem for the general Ostrovsky--Hunter equation. Additionally, we show uniqueness using Kružkov's doubling of variables technique. We also include numerical examples to confirm the convergence results and determine rates of convergence experimentally.

Some analogues of the Schrödinger refined Strichartz inequalities (Du, Guth, Li and Zhang) are obtained for the wave equation. These are used to improve the best known $L^2$ fractal Strichartz inequalities for the wave equation in dimensions $d \geq 4$.

We prove that if the minors of degree $k$ of a Sobolev map $\mathbb{R}^d \to \mathbb{R}^d$ are smooth then the map is smooth, at least when $k,d$ are not both even. We show how this result can be used to derive a simple, self-contained proof of the famous Liouville theorem for conformal mappings, under the weakest possible regularity assumptions, in even dimensions which are not multiple of $4$. This is based on the approach taken by Iwaniec and Martin in [Acta Mathematica, 170(1):29--81, 1993]. We also give a partial result for the case where both $k,d$ are even, and discuss some open questions.

May 21 2018

math.AP arXiv:1805.06986v1

The inverse electromagnetic scattering problem for anisotropic media in general does not have a unique solution. A possible approach to this problem is through the use of appropriate "target signatures," i.e. eigenvalues associated with the direct scattering problem that are accessible to measurement from a knowledge of the scattering data. In this paper we shall consider three different sets of eigenvalues that can be used as target signatures: 1) eigenvalues of the electric far field operator, 2) transmission eigenvalues and 3) Stekloff eigenvalues.

In this note we show a comparison principle for nonlinear heat Rockland operators on graded groups. We give a simple proof for it using purely algebraic relations. As an application of the established comparison principle we prove the global in $t$-boundedness of solutions for a class of nonlinear equations for the heat $p$-sub-Laplacian on stratified groups.

May 21 2018

math.AP arXiv:1805.06955v1

We prove new comparison principles for viscosity solutions of non-linear integro-differential equations. The operators to which the method applies include but are not limited to those of Lévy-Itô type. The main idea is to use an optimal transport map to couple two different Lévy measures, and use the resulting coupling in a doubling of variables argument

Using the theory of analytic functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the homogeneous Hahn polynomials. Some non-trivial applications of this expansion theorem to $q$-series are discussed.