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.

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 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...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

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 ${ℒ}_1=-\Delta +V$ be a Schrödinger operator and let ${ℒ}_2={(-\Delta )}^2+V^2$ be a Schrödinger type operator on ${ℝ}^n$ $(n\ge 5)$, where $V\ne 0$ is a nonnegative potential belonging to certain reverse Hölder class $B_s$ for $s\ge n/2$. The Hardy type space $H_{{ℒ}_2}^1$ is defined in terms of the maximal function with respect to the semigroup $\left\{{\mathrm{e}}^{-t{ℒ}_2}\right\}$ and it is identical to the Hardy space $H_{{ℒ}_1}^1$ established by Dziubański and Zienkiewicz. In this article, we prove the $L^p$-boundedness of the commutator ${ℛ}_b=bℛf-ℛ\left(bf\right)$ generated by the Riesz transform $ℛ={\nabla }^2{ℒ}_2^{-1/2}$, where $b\in {\mathrm{BMO}}_{\theta }\left(\rho \right)$, which is larger...

A nonincreasing sequence $\pi =(d_1,...,d_n)$ of nonnegative integers is a graphic sequence if it is realizable by a simple graph $G$ on $n$ vertices. In this case, $G$ is referred to as a realization of $\pi$. Given two graphs $G_1$ and $G_2$, A. Busch et al. (2014) introduced the potential-Ramsey number of $G_1$ and $G_2$, denoted by $r_{\mathrm{pot}}(G_1,G_2)$, as the smallest nonnegative integer $m$ such that for every $m$-term graphic sequence $\pi$, there is a realization $G$ of $\pi$ with $G_1\subseteq G$ or with $G_2\subseteq \overline{G}$, where $\overline{G}$ is the complement of $G$. For $t\ge 2$ and $0\le k\le \lfloor \frac{t}{2}\rfloor$, let $K_t^{-k}$ be the graph...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...