Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

Local {W^{2,m(\cdot)}_{loc}}regularity for p(.)-Laplace equations

We study ${W^{2,m(\cdot)}_{loc}}$ regularity for local weak solutions of p(·)-Laplace equations where ${p\in C^1(\Omega) \cap C(\overline{\Omega})}$ and ${\min_{x\in \overline{\Omega}} p(x) > 1}$ .     

Global solutions in higher dimensions to a fourth-order parabolic equation modeling epitaxial thin-film growth

The initial-value problem for $$u_t=-\Delta^2 u - \mu\Delta u - \lambda \Delta |\nabla u|^2 + f(x)\qquad \qquad (\star)$$ is studied under the conditions ${{\frac{\partial}{\partial\nu}} u={\frac{\partial}{\partial\nu}} \Delta u=0}$ on the boundary of a bounded convex domain ${\Omega \subset {\mathbb{R}}^n}$ with smooth boundary. This problem arises in the modeling of the evolution of a thin surface when exposed to molecular beam epitaxy. Correspondingly the physically most relevant spatial setting is obtained when n?=?2, but previous mathematical results appear to concentrate on the case n?=?1. In this work, it is proved that when n??? 3,??? ?? 0, ???>?0 and ${f \in L^\infty(\Omega)}$ satisfies ${{\int_\Omega} f \ge 0}$ , for each prescribed initial distribution ${u_0 \in L^\infty(\Omega)}$ fulfilling ${{\int_\Omega} u_0 \ge 0}$ , there exists at least one global weak solution ${u \in L^2_{loc}([0,\infty); W^{1,2}(\Omega))}$ satisfying ${{\int_\Omega} u(\cdot,t) \ge 0}$ for a.e. t?>?0, and moreover, it is shown that this solution can be obtained through a Rothe-type approximation scheme. Furthermore, under an additional smallness condition on??? and ${\|f\|_{L^\infty(\Omega)}}$ , it is shown that there exists a bounded set ${S\subset L^1(\Omega)}$ which is absorbing for ${(\star)}$ in the sense that for any such solution, we can pick T?>?0 such that ${e^{2\lambda u(\cdot,t)}\in S}$ for all t?>?T, provided that ?? is a ball and u ₀ and f are radially symmetric with respect to x?=?0. This partially extends similar absorption results known in the spatially one-dimensional case. The techniques applied to derive appropriate compactness properties via a priori estimates include straightforward testing procedures which lead to integral inequalities involving, for instance, the functional ${{\int_\Omega} e^{2\lambda u}dx}$ , but also the use of a maximum principle for second-order elliptic equations.     

On Estimating the Asymptotic Variance of Stationary Point Processes

We investigate a class of kernel estimators $\widehat{\sigma}^2_n$ of the asymptotic variance σ ² of a d-dimensional stationary point process $\Psi = \sum_{i\ge 1}\delta_{X_i}$ which can be observed in a cubic sampling window $W_n = [-n,n]^d\,$ . σ ² is defined by the asymptotic relation $Var(\Psi(W_n)) \sim \sigma^2 \,(2n)^d$ (as n →? ∞) and its existence is guaranteed whenever the corresponding reduced covariance measure $\gamma^{(2)}_{red}(\cdot)$ has finite total variation. Depending on the rate of decay (polynomially or exponentially) of the total variation of $\gamma^{(2)}_{red}(\cdot)$ outside of an expanding ball centered at the origin, we determine optimal bandwidths b _n (up to a constant) minimizing the mean squared error of $\widehat{\sigma}^2_n$ . The case when $\gamma^{(2)}_{red}(\cdot)$ has bounded support is of particular interest. Further we suggest an isotropised estimator $\widetilde{\sigma}^2_n$ suitable for motion-invariant point processes and compare its properties with $\widehat{\sigma}^2_n$ . Our theoretical results are illustrated and supported by a simulation study which compares the (relative) mean squared errors of $\widehat{\sigma}^2_n$ for planar Poisson, Poisson cluster, and hard-core point processes and for various values of n b _n .     

{\Pi^1_2} -comprehension and the property of Ramsey

We show that a theory of autonomous iterated Ramseyness based on second order arithmetic (SOA) is proof-theoretically equivalent to ${\Pi^1_2}$ -comprehension. The property of Ramsey is defined as follows. Let X be a set of real numbers, i.e. a set of infinite sets of natural numbers. We call a set H of natural numbers homogeneous for X if either all infinite subsets of H are in X or all infinite subsets of H are not in X. X has the property of Ramsey if there exists a set which is homogeneous for X. The property of Ramsey is considered in reverse mathematics to compare the strength of subsystems of SOA. To characterize the system of ${\Pi^1_2}$ -comprehension in terms of Ramseyness we introduce a system of autonomous iterated Ramseyness, called R-calculus. We augment the language of SOA with additional set terms (called R-terms) ${R\vec{x}X\phi(\vec{x},X)}$ for each first order formula ${\phi(\vec{x},X)}$ (where φ may contain further R-terms). The R-calculus is a system which comprises comprehension for all first order formulas (which may contain R-terms or other set parameters) and defining axioms for the R-terms which claim that for each ${\vec{x}}$ , we can remove finitely many elements from the set ${R\vec{x}X\phi(\vec{x},X)}$ such that the remaining set is homogeneous for ${\{{X}{\phi(\vec{x},X)\}}}$ . We show that the R-calculus proves the same ${\Pi^1_1}$ -sentences as the system of ${\Pi^1_2}$ -comprehension.     

On The Structure of A Commutative Banach Algebra Generated By Toeplitz Operators With Quasi-Radial Quasi-Homogeneous Symbols

Let ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ denote the standard weighted Bergman space over the unit ball ${\mathbb{B}^n}$ in ${\mathbb{C}^n}$ . New classes of commutative Banach algebras ${\mathcal{T}(\lambda)}$ which are generated by Toeplitz operators on ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ have been recently discovered in Vasilevski (Integr Equ Oper Theory 66(1):141?C152, 2010). These algebras are induced by the action of the quasi-elliptic group of biholomorphisms of ${\mathbb{B}^n}$ . In the present paper we analyze in detail the internal structure of such an algebra in the lowest dimensional case n?=?2. We explicitly describe the maximal ideal space and the Gelfand map of ${\mathcal{T}(\lambda)}$ . Since ${\mathcal{T}(\lambda)}$ is not invariant under the *-operation of ${\mathcal{L}(\mathcal{A}_{\lambda}^2(\mathbb{B}^n))}$ its inverse closedness is not obvious and is proved. We remark that the algebra ${\mathcal{T}(\lambda)}$ is not semi-simple and we derive its radical. Several applications of our results are given and, in particular, we conclude that the essential spectrum of elements in ${\mathcal{T}(\lambda)}$ is always connected.     

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.     

Uniqueness of diffusion operators and capacity estimates

Let Ω be a connected open subset of R ^d . We analyse L ₁-uniqueness of real second-order partial differential operators ${H = - \sum^d_{k,l=1} \partial_k c_{kl} \partial_l}$ and ${K = H + \sum^d_{k=1}c_k \partial_k + c_0}$ on Ω where ${c_{kl} = c_{lk} \in W^{1,\infty}_{\rm loc}(\Omega), c_k \in L_{\infty,{\rm loc}}(\Omega), c_0 \in L_{2,{\rm loc}}(\Omega)}$ and C(x) = (c _kl (x)) > 0 for all ${x \in \Omega}$ . Boundedness properties of the coefficients are expressed indirectly in terms of the balls B(r) associated with the Riemannian metric C ^?1 and their Lebesgue measure |B(r)|. First, we establish that if the balls B(r) are bounded, the Täcklind condition ${\int^\infty_R dr r({\rm log}|B(r)|)^{-1} = \infty}$ is satisfied for all large R and H is Markov unique then H is L ₁-unique. If, in addition, ${C(x) \geq \kappa (c^{T} \otimes c)(x)}$ for some ${\kappa > 0}$ and almost all ${x \in \Omega}$ , ${{\rm div} c \in L_{\infty,{\rm loc}}(\Omega)}$ is upper semi-bounded and c ₀ is lower semi-bounded, then K is also L ₁-unique. Secondly, if the c _kl extend continuously to functions which are locally bounded on ?Ω and if the balls B(r) are bounded, we characterize Markov uniqueness of H in terms of local capacity estimates and boundary capacity estimates. For example, H is Markov unique if and only if for each bounded subset A of ${\overline\Omega}$ there exist ${\eta_n \in C_c^\infty(\Omega)}$ satisfying , where ${\Gamma(\eta_n) = \sum^d_{k,l=1}c_{kl} (\partial_k \eta_n) (\partial_l \eta_n)}$ , and for each ${\varphi \in L_2(\Omega)}$ or if and only if cap(?Ω) = 0.     

Positive kernel operators in L^{p(x)} spaces

A characterization of a weight $v$ governing the boundedness/compactness of the weighted kernel operator $K_v$ in variable exponent Lebesgue spaces $L^{p(\cdot )}$ is established under the log-Hölder continuity condition on exponents of spaces. The kernel operator involves, for example, weighted variable parameter fractional integral operators. The distance between $K_v$ and the class of compact integral operators acting from $L^{p(\cdot )}$ to $L^{q(\cdot )}$ (measure of non-compactness) is also estimated from above and below.     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

On vector bundles over surfaces and Hilbert schemes

Let X be an irreducible smooth projective surface over ${{\mathbb{C}}}$ and Hilb ^d (X) the Hilbert scheme parametrizing the zero-dimensional subschemes of X of length d. Given a vector bundle E on X, there is a naturally associated vector bundle ${{\mathcal{F}}_d(E)}$ over Hilb ^d (X). If E and V are semistable vector bundles on X such that ${{\mathcal{F}}_d(E)}$ and ${{\mathcal{F}}_d(V)}$ are isomorphic, we prove that E is isomorphic to V. A key input in the proof is provided by Biswas and Nagaraj (see [1]).     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. II: Local Spectra and Fredholmness

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^p(\mathbb{R},w)}$ , where ${p\in(1,\infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{U}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a\in PSO^\diamond}$ ) and all convolution operators W ⁰(b) ( ${b\in PSO_{p,w}^\diamond}$ ), where ${PSO^\diamond\subset L^\infty(\mathbb{R})}$ and ${PSO_{p,w}^\diamond\subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R}\cup\{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^p(\mathbb{R},w)}$ . Under some conditions on the Muckenhoupt weight w, using results of the local study of ${\mathfrak{U}_{p,w}}$ obtained in the first part of the paper and applying the theory of Mellin pseudodifferential operators and the two idempotents theorem, we now construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{U}_{p,w}}$ and establish a Fredholm criterion for the operators ${A\in\mathfrak{U}_{p,w}}$ in terms of their Fredholm symbols. In four partial cases we obtain for ${\mathfrak{U}_{p,w}}$ more effective results.     

An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds

Let ${G/\mathbb Q}$ be the simple algebraic group Sp(n, 1) and ${\Gamma=\Gamma(N)}$ a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group ${G(\mathbb R)}$ . Then a double quotient ${\Gamma\backslash G(\mathbb R)/K}$ is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology ${H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)}$ in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkhäuser, Boston), pp. 1–48, 1984).     

Maximal Chains of Copies of the Rational Line

We show that the class of order types of maximal chains in the partial order $\langle E(\mathbb Q)\cup \{\emptyset \}, \subset \rangle$ , where $E(\mathbb Q)$ is the set of all subsets X of the rational line, ${\mathbb Q}$ , such that X with the inherited order is isomorphic to ${\mathbb Q}$ , is exactly the class of order types of compact sets of reals having the minimum non-isolated.     

Strongly embedded subspaces of p-convex Banach function spaces

Let $X(\mu )$ be a p-convex ( $1\le p<\infty $ ) order continuous Banach function space over a positive finite measure  $\mu $ . We characterize the subspaces of  $X(\mu )$ which can be found simultaneously in  $X(\mu )$ and a suitable $L^1(\eta )$ space, where $\eta $ is a positive finite measure related to the representation of  $X(\mu )$ as an $L^p(m)$ space of a vector measure  $m$ . We provide in this way new tools to analyze the strict singularity of the inclusion of  $X(\mu )$ in such an $L^1$ space. No rearrangement invariant type restrictions on  $X(\mu )$ are required.     

Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.     

Semiclassical Low Energy Scattering for One-Dimensional Schr?dinger Operators with Exponentially Decaying Potentials

We consider semiclassical Schr?dinger operators on the real line of the form $$H(\hbar)=-\hbar^2 \frac{{\rm d}^2}{{\rm d}x^2}+V(\cdot;\hbar)$$ with ${\hbar >0 }$ small. The potential V is assumed to be smooth, positive and exponentially decaying towards infinity. We establish semiclassical global representations of Jost solutions ${f_\pm(\cdot,E;\hbar)}$ with error terms that are uniformly controlled for small E and ${\hbar}$ , and construct the scattering matrix as well as the semiclassical spectral measure associated with ${H(\hbar)}$ . This is crucial in order to obtain decay bounds for the corresponding wave and Schr?dinger flows. As an application we consider the wave equation on a Schwarzschild background for large angular momenta ? where the role of the small parameter ${\hbar}$ is played by ? ^?1. It follows from the results in this paper and Donninger et al. (Commun Math Phys 2009, arXiv:0911.3179), that the decay bounds obtained in Donninger et al. (Adv Math 226(1):484–540, 2011) and Donninger and Wilhelm (Int Math Res Not IMRN 22:4276–4300, 2010) for individual angular momenta ? can be summed to yield the sharp t ^?3 decay for data without symmetry assumptions.