We show the existence of weak solutions in the extended sense of the Cauchy problem for the cubic fourth order nonlinear Schrödinger equation with the initial data $u_0\in X$, where $X\in \{M_{2,q}^s\left(ℝ\right),H^{\sigma }\left(𝕋\right),H^{s_1}\left(ℝ\right)+H^{s_2}\left(𝕋\right)\}$ and $q\in [1,2]$, $s\ge 0$, or $\sigma \ge 0$, or $s_2\ge s_1\ge 0$. Moreover, if $M_{2,q}^s\left(ℝ\right)\hookrightarrow L^3\left(ℝ\right)$, or if $\sigma \ge \frac{1}{6}$, or if $s_1\ge \frac{1}{6}$ and $s_2>\frac{1}{2}$ we show that the Cauchy problem is unconditionally wellposed in $X$. Similar results hold true for all higher order nonlinear Schrödinger equations and mixed order NLS due to a factorization property of the corresponding phase factors. For the proof we employ...

We address the problem of the existence of finite energy solitary waves for nonlinear Klein-Gordon or Schrödinger type equations $\Delta u-u+f\left(u\right)=0$ in ${ℝ}^N$, $u\in H^1\left({ℝ}^N\right)$, where $N\ge 2$. Under natural conditions on the nonlinearity $f$, we prove the existence of $\mathrm{𝑖𝑛𝑓𝑖𝑛𝑖𝑡𝑒𝑙𝑦𝑚𝑎𝑛𝑦𝑛𝑜𝑛𝑟𝑎𝑑𝑖𝑎𝑙𝑠𝑜𝑙𝑢𝑡𝑖𝑜𝑛𝑠}$ in any dimension $N\ge 2$. Our result complements earlier works of Bartsch and Willem $(N=4\mathrm{𝚘𝚛}N\ge 6)$ and Lorca-Ubilla $(N=5)$ where solutions invariant under the action of $O\left(2\right)\times O(N-2)$ are constructed. In contrast, the solutions we construct are invariant under the action of $D_k\times O(N-2)$ where $D_k\subset O\left(2\right)$ denotes the dihedral...

We deal with a class on nonlinear Schrödinger equations (NLS) with potentials $V\left(x\right)\sim {\left|x\right|}^{-\alpha }$, $0<\alpha <2$, and $K\left(x\right)\sim {\left|x\right|}^{-\beta }$, $\beta >0$. Working in weighted Sobolev spaces, the existence of ground states $v_{\epsilon }$ belonging to $W^{1,2}\left({ℝ}^N\right)$ is proved under the assumption that $\sigma <p<(N+2)/\left(N-2\right)$ for some $\sigma ={\sigma }_{N,\alpha ,\beta }$. Furthermore, it is shown that $v_{\epsilon }$ are spikes concentrating at a minimum point of $𝒜=V^{\theta }{K}^{-2/\left(p-1\right)}$, where $\theta =(p+1)/\left(p-1\right)-1/2$.

Let A = -Δ + V be a Schrödinger operator on ${ℝ}^d$, d ≥ 3, where V is a nonnegative potential satisfying the reverse Hölder inequality with an exponent q > d/2. We say that f is an element of $H_A^p$ if the maximal function $su{p}_{t>0}\left|T_{t}f\left(x\right)\right|$ belongs to $L^p\left({ℝ}^d\right)$, where ${T_t}_{t>0}$ is the semigroup generated by -A. It is proved that for d/(d+1) < p ≤ 1 the space $H_A^p$ admits a special atomic decomposition.

Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...

We present a novel approach for bounding the resolvent of $$H=-\Delta +i(A·\nabla +\nabla ·A)+V=:-\Delta +L1$$ for large energies. It is shown here that there exist a large integer $m$ and a large number ${\lambda }_0$ so that relative to the usual weighted $L^2$-norm, $$\parallel {\left(L{(-\Delta +(\lambda +i0))}^{-1}\right)}^m\parallel <\frac{1}{2}2$$ for all $\lambda >{\lambda }_0$. This requires suitable decay and smoothness conditions on $A,V$. The estimate (2) is trivial when $A=0$, but difficult for large $A$ since the gradient term exactly cancels the natural decay of the free resolvent. To obtain (2), we introduce a conical decomposition of the resolvent and...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

We consider problem (P) of Kirchhoff-Carrier type with nonlinear terms containing a finite number of unknown values $u({\eta }_1,t),\cdots ,u({\eta }_q,t)$ with $0\le {\eta }_1<{\eta }_2<\cdots <{\eta }_q<1.$ By applying the linearization method together with the Faedo-Galerkin method and the weak compact method, we first prove the existence and uniqueness of a local weak solution of problem (P). Next, we consider a specific case $\left({\mathrm{P}}_q\right)$ of (P) in which the nonlinear term contains the sum $S_q\left[u^2\right]\left(t\right)=q^{-1}{\sum }_{i=1}^q{u}^2(\frac{(i-1)}{q},t)$. Under suitable conditions, we prove that the solution of $\left({\mathrm{P}}_q\right)$ converges to the solution...

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

We consider the systems of hyperbolic equations ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S1) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$ ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S2) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{l(t,x)\left|v\right|}^m+k(t,x){\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$, (S3) ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|u\right|}^p$, t > 0, $x\in {ℝ}^N$, ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|v\right|}^q$, t > 0, $x\in {ℝ}^N$, in $(0,\infty )\times {ℝ}^N$ with u(0,x) = u₀(x), v(0,x) = v₀(x), uₜ(0,x) = u₁(x), vₜ(0,x) = v₁(x). We show that, in each case, there exists a bound B on N such that for 1 ≤ N ≤ B solutions to the systems blow up in finite time.

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

We deal with the problem ⎧ -Δu = f(x,u) + λg(x,u), in Ω, ⎨ ($P_{\lambda }$) ⎩ $u_{\mid \partial \Omega }=0$ where Ω ⊂ ℝⁿ is a bounded domain, λ ∈ ℝ, and f,g: Ω×ℝ → ℝ are two Carathéodory functions with f(x,0) = g(x,0) = 0. Under suitable assumptions, we prove that there exists λ* > 0 such that, for each λ ∈ (0,λ*), problem ($P_{\lambda }$) admits a non-zero, non-negative strong solution $u_{\lambda }\in {\bigcap }_{p\ge 2}{W}^{2,p}\left(\Omega \right)$ such that $li{m}_{\lambda \to 0⁺}\left|\right|u_{\lambda }{\left|\right|}_{W^{2,p}\left(\Omega \right)}=0$ for all p ≥ 2. Moreover, the function $\lambda \mapsto I_{\lambda }\left(u_{\lambda }\right)$ is negative and decreasing in ]0,λ*[, where $I_{\lambda }$ is the energy functional related to ($P_{\lambda }$). ...