1D Schrödinger Operators with Short Range Interactions: Two-Scale Regularization of Distributional Potentials

For real ${L_\infty(\mathbb{R})}$ -functions ${\Phi}$ and ${\Psi}$ of compact support, we prove the norm resolvent convergence, as ${\varepsilon}$ and ${\nu}$ tend to 0, of a family ${S_{\varepsilon \nu}}$ of one-dimensional Schrödinger operators on the line of the form $$S_{\varepsilon \nu} = -\frac{d^2}{dx^2} + \frac{\alpha}{\varepsilon^2} \Phi \left( \frac{x}{\varepsilon} \right) + \frac{\beta}{\nu} \Psi \left(\frac{x}{\nu} \right),$$ provided the ratio ${\nu/\varepsilon}$ has a finite or infinite limit. The limit operator S ₀ depends on the shape of ${\Phi}$ and ${\Psi}$ as well as on the limit of ratio ${\nu/\varepsilon}$ . If the potential ${\alpha\Phi}$ possesses a zero-energy resonance, then S ₀ describes a non trivial point interaction at the origin. Otherwise S ₀ is the direct sum of the Dirichlet half-line Schrödinger operators.     

Profile of the least energy solution of a singular perturbed Neumann problem with mixed powers

We consider the problem ${\varepsilon^{2}\Delta u - u^q + u^p = 0\,{\rm in}\,\Omega,\,u > 0\,{\rm in}\,\Omega,\,\frac{\partial u}{\partial \nu} = 0\,{\rm on}\,\partial\Omega }$ where Ω is a smooth bounded domain in ${\mathbb{R}^N}$ , ${1 < q < p < {N+2\over N-2}}$ if N ≥ 2 and ${\varepsilon}$ is a small positive parameter. We determine the location and shape of the least energy solution when ${\varepsilon \rightarrow 0.}$      

Irrational Factor of Order k and ITS Connections With k-Free Integers

We introduce an irrational factor of order k defined by \({I_{k}(n) ={\prod_{i=1}^{l}} p_{i}^{\beta_{i}}}\) , where \({n = \prod_{i=1}^{l} p_{i}^{\alpha_{i}}}\) is the factorization of n and \({\beta_{i} = \left\{\begin{array}{ll}\alpha_i, \quad \quad {\rm if} \quad \alpha_i < k \\ \frac{1}{\alpha_i},\quad \quad {\rm if} \quad \alpha_i \geqq k \end{array}\right.}\) . It turns out that the function \({\frac{I_{k} (n)}{n}}\) well approximates the characteristic function of k-free integers. We also derive asymptotic formulas for \({\prod_{v=1}^{n} I_{k}(v)^{\frac{1}{n}}, \sum_{n \leqq x} I_{k}(n)}\) and \({\sum_{n \leqq x} (1 - \frac{n}{x}) I_{k}(n)}\) .     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

The geometric Neumann problem for the Liouville equation

Let Ω denote the upper half-plane ${\mathbb{R}_+^2}$ or the upper half-disk ${D_{\varepsilon}^+\subset \mathbb{R}_+^2}$ of center 0 and radius ${\varepsilon}$ . In this paper we classify the solutions ${v\in\;C^2(\overline{\Omega}\setminus\{0\})}$ to the Neumann problem $$\left\{\begin{array}{lll}{\Delta v+2 Ke^v=0\quad {\rm in}\,\Omega\subseteq \mathbb{R}^2_+=\{(s, t)\in \mathbb{R}^2: t >0 \},}\\ {\frac{\partial v}{\partial t}=c_1e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s >0 \},}\\ {\frac{\partial v}{\partial t}=c_2e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s <0 \},}\end{array}\right.$$ where ${K, c_1, c_2 \in \mathbb{R}}$ , with the finite energy condition ${\int_{\Omega} e^v < \infty}$ As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and constant geodesic curvature along each boundary arc.     

Closed Range Property for Holomorphic Semi-Fredholm Functions

Given Banach spaces X and Y, we show that, for each operator-valued analytic map ${\alpha \in \mathcal O (D,\mathcal L(Y,X))}$ satisfying the finiteness condition ${\dim (X/\alpha (z)Y) < \infty}$ pointwise on an open set D in ${\mathbb {C}^n}$ , the induced multiplication operator ${\mathcal O(U,Y) \stackrel{\alpha}{\longrightarrow} \mathcal O (U,X)}$ has closed range on each Stein open set ${U \subset D}$ . As an application we deduce that the generalized range ${{\rm R}^{\infty}(T) = \bigcap_{k \geq 1}\sum_{| \alpha | = k} T^{\alpha}X}$ of a commuting multioperator ${T \in \mathcal L(X)^n}$ with ${\dim(X/\sum_{i=1}^n T_iX) < \infty}$ can be represented as a suitable spectral subspace.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

On Deformations of Lie Algebroids

For any Lie algebroid A, its 1-jet bundle ${\mathfrak{J} A}$ is a Lie algebroid naturally and there is a representation ${\pi:\mathfrak{J} A\longrightarrow\mathfrak{D} A}$ . Denote by ${{\rm d}_{\mathfrak{J}}}$ the corresponding coboundary operator. In this paper, we realize the deformation cohomology of a Lie algebroid A introduced by M. Crainic and I. Moerdijk as the cohomology of a subcomplex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A,A)_{{\mathfrak{D}} A}),{\rm d}_{\mathfrak{J}})}$ of the cochain complex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A, A)),{\rm d}_\mathfrak{J})}$ .     

Immunity properties and strong positive reducibilities

We use certain strong Q-reducibilities, and their corresponding strong positive reducibilities, to characterize the hyperimmune sets and the hyperhyperimmune sets: if A is any infinite set then A is hyperimmune (respectively, hyperhyperimmune) if and only if for every infinite subset B of A, one has ${\overline{K}\not\le_{\rm ss} B}$ (respectively, ${\overline{K}\not\le_{\overline{\rm s}} B}$ ): here ${\le_{\overline{\rm s}}}$ is the finite-branch version of s-reducibility, ??_ss is the computably bounded version of ${\le_{\overline{\rm s}}}$ , and ${\overline{K}}$ is the complement of the halting set. Restriction to ${\Sigma^0_2}$ sets provides a similar characterization of the ${\Sigma^0_2}$ hyperhyperimmune sets in terms of s-reducibility. We also show that no ${A \geq_{\overline{\rm s}}\overline{K}}$ is hyperhyperimmune. As a consequence, ${\deg_{\rm s}(\overline{K})}$ is hyperhyperimmune-free, showing that the hyperhyperimmune s-degrees are not upwards closed.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Existence and Multiplicity Results for Some Elliptic Systems in Unbounded Cylinders

We study the following nonlinear elliptic system of Lane–Emden type $$\left\{\begin{array}{ll} -\Delta u = {\rm sgn}(v) |v| ^{p-1} \qquad \qquad \qquad \; {\rm in} \; \Omega , \\ -\Delta v = - \lambda {\rm sgn} (u)|u| \frac{1}{p-1} + f(x, u)\; \; {\rm in}\; \Omega , \\ u = v = 0 \qquad \qquad \qquad \quad \quad \;\;\;\;\; {\rm on}\; \partial \Omega , \end{array}\right.$$ where ${\lambda \in \mathbb{R}}$ . If ${\lambda \geq 0}$ and ${\Omega}$ is an unbounded cylinder, i.e., ${\Omega = \tilde \Omega \times \mathbb{R}^{N-m} \subset \mathbb{R}^{N}}$ , ${N - m \geq 2, m \geq 1}$ , existence and multiplicity results are proved by means of the Principle of Symmetric Criticality and some compact imbeddings in partially spherically symmetric spaces. We are able to state existence and multiplicity results also if ${\lambda \in \mathbb{R}}$ and ${\Omega}$ is a bounded domain in ${\mathbb{R}^{N}, N \geq 3}$ . In particular, a good finite dimensional decomposition of the Banach space in which we work is given.     

Local behaviour of singular solutions for nonlinear elliptic equations in divergence form

We consider the following class of nonlinear elliptic equations $$\begin{array}{ll}{-}{\rm div}(\mathcal{A}(|x|)\nabla u) +u^q=0\quad {\rm in}\; B_1(0)\setminus\{0\}, \end{array}$$ where q > 1 and ${\mathcal{A}}$ is a positive C ¹(0,1] function which is regularly varying at zero with index ${\vartheta}$ in (2?N,2). We prove that all isolated singularities at zero for the positive solutions are removable if and only if ${\Phi\not\in L^q(B_1(0))}$ , where ${\Phi}$ denotes the fundamental solution of ${-{\rm div}(\mathcal{A}(|x|)\nabla u)=\delta_0}$ in ${\mathcal D'(B_1(0))}$ and δ₀ is the Dirac mass at 0. Moreover, we give a complete classification of the behaviour near zero of all positive solutions in the more delicate case that ${\Phi\in L^q(B_1(0))}$ . We also establish the existence of positive solutions in all the categories of such a classification. Our results apply in particular to the model case ${\mathcal{A}(|x|)=|x|^\vartheta}$ with ${\vartheta\in (2-N,2)}$ .     

Fixed point homomorphisms for parameterized maps

Let X be an ANR (absolute neighborhood retract), ${\Lambda}$ a k-dimensional topological manifold with topological orientation ${\eta}$ , and ${f : D \rightarrow X}$ a locally compact map, where D is an open subset of ${X \times \Lambda}$ . We define Fix(f) as the set of points ${{(x, \lambda) \in D}}$ such that ${x = f(x, \lambda)}$ . For an open pair (U, V) in ${X \times \Lambda}$ such that ${{\rm Fix}(f) \cap U \backslash V}$ is compact we construct a homomorphism ${\Sigma_{(f,U,V)} : H^{k}(U, V ) \rightarrow R}$ in the singular cohomologies H* over a ring-with-unit R, in such a way that the properties of Solvability, Excision and Naturality, Homotopy Invariance, Additivity, Multiplicativity, Normalization, Orientation Invariance, Commutativity, Contraction, Topological Invariance, and Ring Naturality hold. In the case of a ${C^{\infty}}$ -manifold ${\Lambda}$ , these properties uniquely determine ${\Sigma}$ . By passing to the direct limit of ${\Sigma_{(f,U,V)}}$ with respect to the pairs (U, V) such that ${K = {\rm Fix}(f) \cap U \backslash V}$ , we define a homomorphism ${\sigma_{(f,K)} : {H}_{k}({\rm Fix}(f), Fix(f) \backslash K) \rightarrow R}$ in the ?ech cohomologies. Properties of ${\Sigma}$ and ${\sigma}$ are equivalent each to the other. We indicate how the homomorphisms generalize the fixed point index.