Best Constants in the Miranda-Agmon Inequalities for Solutions of Elliptic Systems and the Classical Maximum Modulus Principle for Fluid and Elastic Half-spaces

The Dirichlet problem for elliptic systems of the second order with constant real and complex coefficients in the half-space  ^k ₊ = {x = (x ₁,…,x_k ): x_k > 0} is considered. It is assumed that the boundary values of a solution u = (u ₁,…,u _m) have the form ψ ₁ ξ ₁ + · · · + ψ _n ξ _n, 1 ≤ n ≤ m, where ξ ₁,· · ·,ξ _n is an orthogonal system of m-component normed vectors and ψ ₁,· · ·,ψ _n are continuous and bounded functions on ? ^k ₊. We study the mappings [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m and [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m generated by real and complex vector valued double layer potentials. We obtain representations for the sharp constants in inequalities between |u(x)| or |(z, u(x))| and ∥u| _xk =₀∥, where z is a fixed unit m-component vector, | · | is the length of a vector in a finite-dimensional unitary space or in Euclidean space, and (·,·) is the inner product in the same space. Explicit representations of these sharp constants for the Stokes and Lamé systems are given. We show, in particular, that if the velocity vector (the elastic displacement vector) is parallel to a constant vector at the boundary of a half-space and if the modulus of the boundary data does not exceed 1, then the velocity vector (the elastic displacement vector) is majorised by 1 at an arbitrary point of the half-space. An analogous classical maximum modulus principle is obtained for two components of the stress tensor of the planar deformed state as well as for the gradient of a biharmonic function in a half-plane.     

Generalized Hankel operators on the Fock space

In this paper we study generalized Hankel operators ofthe form : ?²(|z |²) → L²(|z |²). Here, (f):= (Id–P_l )( ^kf) and Pl is the projection onto A_l ²(?, |z |²):= cl(span{ ^m zⁿ | m, n ∈ N, m ≤ l }). The investigations in this article extend the ones in [11] and [6], where the special cases l = 0 and l = 1 are considered, respectively. The main result is that the operators are not bounded for l < k – 1. The proof relies on a combinatoric argument and a generalization to general conjugate holomorphic L² symbols, generalizing arguments from [6], seems possible and is planned for future work (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Unboundedness of the large solutions of some asymmetric oscillators at resonance

In this paper, we consider the unboundedness of solutions of the following differential equation (φ_p(x′))′ + (p ? 1)[αφ_p(x⁺) ? βφ_p(x^?)] = f(x)x′ + g(x) + h(x) + e(t) where φ_p(u) = |u|^{p? 2} u, p > 1, x^± = max {±x, 0}, α and β are positive constants satisfying with m, n ∈ N and (m, n) = 1, f and g are continuous and bounded functions such that lim_x→±∞g(x) ? g(±∞) exists and h has a sublinear primitive, e(t) is 2π_p‐periodic and continuous. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

On Sums of Two Coprime k-th Powers(II)

For fixed k ≥ 3, let E_k(x) denote the error term of the sum ?_{n ￡ x}r_k(n)\sum_{n\le x}\rho_k(n) , where r_k(n) = ?_{n=|m|^k+|l|^k, g.c.d.(m,l)=1}\rho_k(n) = \sum_{n=|m|^k+|l|^k, g.c.d.(m,l)=1} 1. It is proved that if the Riemann hypothesis is true, then E₃(x) << x^331/1254+eE_3(x)\ll x^{331/1254+\varepsilon} , E₄(x) << x^37/184+eE_4(x)\ll x^{37/184+\varepsilon} . A short interval result is also obtained.     

The distribution of dense Sidon subsets of $ \mathbb{Z}_m $

Let S \subseteqq \mathbbZ_m S \subseteqq \mathbb{Z}_m be a Sidon set of cardinality | S | = m^1/₂ + O(1) \mid S \mid = m^{1 \over 2} + O(1) . It is proved, in particular, that for any interval á = {a, a + 1, ?, a + l- 1} {\cal I} = \{a, a + 1, \ldots, a + \ell - 1\} in \mathbbZ_m \mathbb{Z}_m , 0 \leqq l 0 \leqq \ell < m, we have | | S ?á | - | S | l/m | = O( | S | ^1/₂ln m) \big| {\mid S \cap {\cal I} \mid - \mid S \mid \ell/m} \big| = O(\mid S \mid^{1 \over 2}\textrm{ln}\, m) .     

Multiparameter acoustic imaging in the born approximation

Samples of biological tissue are modelled as inhomogeneous fluids with density ?(X) and sound speed c(x) at point x. The samples are contained in the sphere |x| ? δ and it is assumed that ?(x) ? ?₀ = 1 and c(x) ? c₀ = 1 for |x| ? δ, and |γ_n(x)| ? 1 and |?γ?(x)| ? 1 where γ?(x) = ?(x) ? 1 and γ_n(x) = c^?2(x) ? 1. The samples are insonified by plane pulses s(x · θ₀ – t) where x = |θ₀| = 1 and the scattered pulse is shown to have the form |x|^?1 e_s(|x| – t, θ, θ₀) in the far field, where x = |x| θ. The response e_s(τ, θ, θ₀) is measurable. The goal of the work is to construct the sample parameters γn and γ? from e_s(τ, θ, θ₀) for suitable choiches of s, θ and θ₀. In the limiting case of constant density: γ?(x)_? 0 it is shown that Where δ represents the Dirac δ and S² is the unit sphere |θ| = 1. Analogous formulas, based on two sets of measurements, are derived for the case of variable c(x) and ?(x).     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Disjoint matchings of graphs

In this paper, we prove a generalization of the familiar marriage theorem. One way of stating the marriage theorem is: Let G be a bipartite graph, with parts S₁ and S₂. If A ? S₁ and F(A) ? S₂ is the set of neighbors of points in A, then a matching of G exists if and only if Σ_x∈S2 min(1, | F^?1(x) ∩ A |) ≥ | A | for each A ? S₁. Our theorem is that k disjoint matchings of G exist if and only Σ_x∈S2 min (k, | F^?1(x) ∩ A |) ≥ k | A | for each A ? S₁.     

An existence theorem for antichains

Let k₁, k₂,…, k_n be given integers, 1 ? k₁ ? k₂ ? … ? k_n, and let S be the set of vectors x = (x₁,…, x_n) with integral coefficients satisfying 0 ? x_i ? k_i, i = 1, 2, 3,…, n. A subset H of S is an antichain (or Sperner family or clutter) if and only if for each pair of distinct vectors x and y in H the inequalities x_i ? y_i, i = 1, 2,…, n, do not all hold. Let |H| denote the number of vectors in H, let K = k₁ + k₂ + … + k_n and for 0 ? l ? K let (l)H denote the subset of H consisting of vectors h = (h₁, h₂,…, h_n) which satisfy h₁ + h₂ + … + h_n = l. In this paper we show that if H is an antichain in S, then there exists an antichain H′ in S for which |(l)H′| = 0 if $\text{l <}\text{K}\text{2}$, $\text{|(}\text{K}\text{2}\text{)H′| = |(}\text{K}\text{2}\text{)H|}$ if K is even and |(l)H′| = |(l)H| + |(K ? l)H| if $\text{l>}\text{K}\text{2}$.     

Estimates of the Solutions of Strongly Degenerate Elliptic Equations in Weighted Sobolev Spaces

Let W ì \mathbbRⁿ \Omega \subset \mathbb{R}^n be an open set and l(x) | u |_p,l = ( ò_W l^p (x)| u(x) |^p dx )^1/p \text (1 \leqslant p < + ￥\text),\left| u \right|_{p,l} = \left( {\int\limits_\Omega {l^p (x)\left| {u(x)} \right|^p dx} } \right)^{1/p} {\text{ (1}} \leqslant p < + \infty {\text{),}}     

A complete classification of bifurcation diagrams of a p -Laplacian Dirichlet problem

We study the bifurcation diagrams of (classical) positive solutions u with |u |_∞ ∈ (0, ∞) of the p -Laplacian Dirichlet problem (φ_p (u ′(x)))′ + λf_q (u (x))) = 0, –1 ≤ x ≤ 1, u (–1) = 0 = u (1), where p > 1, φ_p (y) = |y |^{p –2} y, (φ_p (u ′))′ is the one-dimensional p -Laplacian, λ > 0 is a bifurcation parameter, and the nonlinearity f_q (u) = |1 – u |^q is defined on [0, ∞) with constant q > 0. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Stability for the Multi-Dimensional Borg-Levinson Theorem with Partial Spectral Data

We prove a stability estimate related to the multi-dimensional Borg-Levinson theorem of determining a potential from spectral data: the Dirichlet eigenvalues λ _k and the normal derivatives ?φ _k /?ν of the eigenfunctions on the boundary of a bounded domain. The estimate is of Hölder type, and we allow finitely many eigenvalues and normal derivatives to be unknown. We also show that if the spectral data is known asymptotically only, up to O(k ^?α) with α ? 1, then we still have Hölder stability.     

Compositions of sums of absolute powers

We obtain an explicit formula for then-dimensional volumes of certain bodies, calledoddballs hereinafter. An oddball is a bodyG = {x εR ⁿ :f(x) ≤ 1}, wheref:R ⁿ →R is anoddball function. Oddball functions are defined by way of the following construction: We begin with the class of functionsf of the formf(x ₁, ...,x _k ) = |x ₁|^α + |x ₂|^β + ... + |x _k|^γ. Herek may be any positive integer, and is not fixed. The Greek exponents are arbitrary positive real numbers. We extend this class by permitting any finite number of substitutions among functions in the class. Finally, we extend the substitution-enlarged class by permitting linear formsy _i = Σ _j b _ij x _j to replacex _i 's, the transformations being nonsingular. Thus, if det(b _ij ) ≠ 0, the oddball function $$f(x_1 ,x_2 ,x_3 ,x_4 ,x_5 ,x_6 ) = ((|y_1 |^\alpha + |y_2 |^\beta )^\tau + (|y_3 |^\gamma + |y_4 |^\phi + |y_5 |^\psi )^\delta )^\mu + |y_6 |^\eta $$ is a fairly typical example. We also consider the number of lattice points in certain types of oddballs, as well as their latticepacking densities. Neither do oddballs include thesuperballs discussed elsewhere by this and other authors, nor is every oddball a superball.     

Completeness of Averaged Scattering Solutions and Inverse Scattering at a Fixed Energy

We prove that the averaged scattering solutions to the Schrödinger equation with short-range electromagnetic potentials (V, A) where V(x) = O(|x|^?ρ), A(x) = O(|x|^?ρ), |x| → ∞, ρ > 1, are dense in the set of all solutions to the Schrödinger equation that are in L ²(K) where K is any connected bounded open set in ? ⁿ ,n ≥ 2, with smooth boundary. We use this result to prove that if two short-range electromagnetic potentials (V ₁, A ₁) and (V ₂, A ₂) in ? ⁿ , n ≥ 3, have the same scattering matrix at a fixed positive energy and if the electric potentials V _j and the magnetic fields F _j : = curl A _j , j = 1, 2, coincide outside of some ball they necessarily coincide everywhere. In a previous paper of Weder and Yafaev the case of electric potentials and magnetic fields that are asymptotic sums of homogeneous terms at infinity was studied. It was proven that all these terms can be uniquely reconstructed from the singularities in the forward direction of the scattering amplitude at a fixed positive energy. The combination of the new uniqueness result of this paper and the result of Weder and Yafaev implies that the scattering matrix at a fixed positive energy uniquely determines electric potentials and magnetic fields that are a finite sum of homogeneous terms at infinity, or more generally, that are asymptotic sums of homogeneous terms that actually converge, respectively, to the electric potential and to the magnetic field.     

Crack Singularities for General Elliptic Systems

We consider general homogeneous Agmon‐Douglis‐Nirenberg elliptic systems with constant coefficients complemented by the same set of boundary conditions on both sides of a crack in a two‐dimensional domain. We prove that the singular functions expressed in polar coordinates (r, θ) near the crack tip all have the form r^{k + 1/2}φ(θ) with k ≥ 0 integer, with the possible exception of a finite number of singularities of the form r^k log r φ(θ). We also prove results about singularities in the case when the boundary conditions on the two sides of the crack are not the same, and in particular in mixed Dirichlet‐Neumann boundary value problems for strongly coercive systems: in the latter case, we prove that the exponents of singularity have the form with real η and integer k. This is valid for general anisotropic elasticity too.     

On Templeman averages and variation functions

Let S be a countable semigroup acting in a measure-preserving fashion (g ? T _g ) on a measure space (Ω, A, µ). For a finite subset A of S, let |A| denote its cardinality. Let (A _k ) _k=1 ^∞ be a sequence of subsets of S satisfying conditions related to those in the ergodic theorem for semi-group actions of A. A. Tempelman. For A-measureable functions f on the measure space (Ω, A, μ) we form for k ≥ 1 the Templeman averages \(\pi _k (f)(x) = \left| {A_k } \right|^{ - 1} \sum\nolimits_{g \in A_k } {T_g f(x)}\) and set V _q f(x) = (Σ _k≥1|π _k+1(f)(x) ? π _k (f)(x)|q)^1/q when q ∈ (1, 2]. We show that there exists C > 0 such that for all f in L ¹(Ω, A, µ) we have µ({x ∈ Ω: V _q f(x) > λ}) ≤ C(∫_Ω | f | dµ/λ). Finally, some concrete examples are constructed.