Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

Lagrangian barriers and symplectic embeddings

We prove that every symplectic Kähler manifold (M;W) (M;\Omega) with integral [W] [\Omega] decomposes into a disjoint union (M,W) = (E,w₀) \coprod D (M,\Omega) = (E,\omega_0) \coprod \Delta , where (E,w₀) (E,\omega_0) is a disc bundle endowed with a standard symplectic form w₀ \omega_0 and D \Delta is an isotropic CW-complex. We perform explicit computations of this decomposition on several examples.¶As an application we establish the following symplectic intersection phenomenon: There exist symplectically irremovable intersections between contractible domains and Lagrangian submanifolds. For example, we prove that every symplectic embedding j:B²ⁿ(l) ? \Bbb CPⁿ \varphi:B^{2n}(\lambda) \to {\Bbb C}P^n of a ball of radius l² 3 1/2 \lambda^2 \ge 1/2 must intersect the standard Lagrangian real projective space \Bbb RPⁿ ì \Bbb CPⁿ {\Bbb R}P^n \subset {\Bbb C}P^n .     

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

On quasimonotone increasing homeomorphisms

Let f ? C(\Bbb Rⁿ,\Bbb Rⁿ) f\in C(\Bbb R^n,\Bbb R^n) be quasimonotone increasing such that Y(f(y)-f(x)) ￡ -c Y(y-x) (x << y) \Psi (f(y)-f(x)) \!\le -c \Psi (y-x) (x\ll y) for a linear and strictly positive functional Y \Psi and c > 0. We prove that f is a homeomorphism with decreasing and Lipschitz continuous inverse and we prove the global asymptotic stability of the equilibrium solution of x￠=f(x) x'=f(x) .     

Inequalities for irregular Gabor frames

In [C.K. Chui and X.L. Shi, Inequalities of Littlewood-Paley type for frames and wavelets, SIAM J. Math. Anal., 24 (1993), 263–277], the authors proved that if {e^imbxg(x-na): m,n ? \Bbb Z}\{e^{imbx}g(x-na): m,n\in{\Bbb Z}\} is a Gabor frame for L²(\Bbb R)L^2({\Bbb R}) with frame bounds A and B, then the following two inequalities hold: A ￡ \frac2pb?_{n ? \Bbb Z}|g(x-na)|² ￡ B,     a.e.A\le \frac{2\pi}{b}\sum_{n\in{\Bbb Z}}\vert g(x-na)\vert^2\le B, \quad a.e. and A ￡ \frac1a?_{m ? \Bbb Z}|[^(g)](w-mb)|² ￡ B,     a.e.A\le \frac{1}{a}\sum_{m\in{\Bbb Z}}\vert \hat{g}(\omega-mb)\vert^2\le B, \quad a.e. . In this paper, we show that similar inequalities hold for multi-generated irregular Gabor frames of the form è_{1 ￡ k ￡ r}{e^{iáx, l?}g_k(x-m): m ? D_k, l ? L_k }\bigcup_{1\le k\le r}\{e^{i\langle x, \lambda\rangle}g_{k}(x-\mu):\, \mu\in \Delta_k, \lambda\in\Lambda_k \} , where Δ _k and Λ _k are arbitrary sequences of points in \Bbb R^d{\Bbb R}^d and g_k ? L²(\Bbb R^d)g_k\in{L^2{(\Bbb R}^d)} , 1 ≤ k ≤ r.     

Arithmetic progressions in sumsets

We prove several results concerning arithmetic progressions in sets of integers. Suppose, for example, that a \alpha and b \beta are positive reals, that N is a large prime and that C,D í \Bbb Z/N\Bbb Z C,D \subseteq {\Bbb Z}/N{\Bbb Z} have sizes gN \gamma N and dN \delta N respectively. Then the sumset C + D contains an AP of length at least e^{c ?{log} N} e^{c \sqrt{\rm log} N} , where c > 0 depends only on g \gamma and d \delta . In deriving these results we introduce the concept of hereditary non-uniformity (HNU) for subsets of \Bbb Z/N\Bbb Z {\Bbb Z}/N{\Bbb Z} , and prove a structural result for sets with this property.     

Homogenization for strongly anisotropic nonlinear elliptic equations

In this paper we present homogenization results for elliptic degenerate differential equations describing strongly anisotropic media. More precisely, we study the limit as e? 0 \epsilon \to 0 of the following Dirichlet problems with rapidly oscillating periodic coefficients:¶¶ . \cases {{ -div(\alpha(\frac{x}{\epsilon}}, \nabla u) A(\frac{x}{\epsilon}) \nabla u) = f(x) \in L^{\infty}(\Omega) \atop u = 0 su \eth\Omega\ } ¶¶where, p > 1,     a: \Bbb Rⁿ ×\Bbb Rⁿ ? \Bbb R,     a(y,x) ? áA(y)x,x?^p/2-1, A ? M^{n ×n}(\Bbb R) p>1, \quad \alpha : \Bbb R^n \times \Bbb R^n \to \Bbb R, \quad \alpha(y,\xi) \approx \langle A(y)\xi,\xi \rangle ^{p/2-1}, A \in M^{n \times n}(\Bbb R) , A being a measurable periodic matrix such that A^t(x) = A(x) 3 0A^t(x) = A(x) \ge 0 almost everywhere.¶¶The anisotropy of the medium is described by the following structure hypothesis on the matrix A:¶¶l^2/p(x) |x|² ￡ áA(x)x,x? ￡ L ^2/p(x) |x|², \lambda^{2/p}(x) |\xi|^2 \leq \langle A(x)\xi,\xi \rangle \leq \Lambda ^{2/p}(x) |\xi|^2, ¶¶where the weight functions l \lambda and L \Lambda (satisfying suitable summability assumptions) can vanish or blow up, and can also be "moderately" different. The convergence to the homogenized problem is obtained by a classical compensated compactness argument, that had to be extended to two-weight Sobolev spaces.     

On a Family of Thue Equations Over Function Fields

Many families of parametrized Thue equations over number fields have been solved recently. In this paper we consider for the first time a family of Thue equations over a polynomial ring. In particular, we calculate all solutions of X(X-Y)(X-(T+x)Y)+Y³=1+xT(1-T)X(X-Y)(X-(T+\xi)Y)+Y^3=1+\xi T(1-T) over \Bbb C[T]{\Bbb C}[T] for all x ? \Bbb C\xi\in{\Bbb C} .     

Another logarithmic functional equation

Summary. Let f : ]0,￥[? \Bbb R f :\,]0,\infty[\to \Bbb R be a real valued function on the set of positive reals. The functional equations¶¶f(x + y) - f(x) - f(y) = f(x^-1 + y^-1) f(x + y) - f(x) - f(y) = f(x^{-1} + y^{-1}) ¶and¶f(xy) = f(x) + f(y) f(xy) = f(x) + f(y) ¶are equivalent to each other.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Banach Spaces of Solutions of the Helmholtz Equation in the Plane

The purpose of this article is to study the Hilbert space W²\mathcal{ W}^2 consisting of all solutions of the Helmholtz equation Du+u=0\Delta u+u=0 in \BbbR²\Bbb{R}^2 that are the image under the Fourier transform of L²L^2 densities in the unit circle. We characterize this space as a close subspace of the Hilbert space H²\mathcal{ H}^2 of all functions belonging to L²( | x | ^-3dx) L^2( | x | ^{-3}dx) jointly with their angular and radial derivatives, in the complement of the unit disk in \BbbR²\Bbb{R}^2. We calculate the reproducing kernel of W²\mathcal{ W}^2 and study its reproducing properties in the corresponding spaces H^p\mathcal{H}^p, for $p>1$p>1.     

Clifford Analysis Techniques for Spherical PDE

For a ? R\alpha \in \mathbf{R}, the class of a-\alpha -order spherical harmonic functions in an open set W í\Omega \subseteq S^n-1\mathbf{S}^{n-1}, H^a(W)H^{\alpha }(\Omega ) is defined as the C²-C^{2}-solutions of D_au=0\Delta _{\alpha }u=0; where D_a=D_s+a(n+a-2)\Delta _{\alpha }=\Delta _{s}+\alpha (n+\alpha -2) is the spherical Laplace--Beltrami operator of order a\alpha and D_s\Delta _{s} is the radially independent part of the Laplace operator. We obtain a Green's integral formula for the functions in H^a(W)H^{\alpha }(\Omega ) with kernel expressed as a Gegenbauer function. As generalizations, higher order spherical iterated Dirac operators are defined in a polynomial form. Integral representations of the null solutions to these operators and an intertwining formula relating these operators on the sphere and their analogues in Euclidean space are presented.     

Density properties of Hankel translations of positive definite functions

In this paper we study density properties of the Hankel translations of certain positive definite (in the Hankel sense) functions on (0,￥)(0,\infty ). The density is understood in a Fréchet space of smooth functions on (0,￥)(0,\infty ) whose topology is defined by seminorms involving the Bessel operator x^-2m-1Dx^2m+1Dx^{-2\mu -1}Dx^{2\mu +1}D.     

A Seidel-Walsh theorem with linear differential operators

Assume that {S_n}₁^￥ \{S_n\}_1^\infty is a sequence of automorphisms of the open unit disk \Bbb D{\Bbb D} and that {T_n}₁^￥\{T_n\}_1^\infty is a sequence of linear differential operators with constant coefficients, both of them satisfying suitable conditions. We prove that for certain spaces X of holomorphic functions in the open unit disk, the set of functions f ? Xf \in X such that {(T_n f) °S_n:  n ? \Bbb N}\{(T_n\,f) \circ S_n: \, n \in {\Bbb N}\} is dense in H(\Bbb D)H({\Bbb D}) is residual in X. This extends the Seidel-Walsh theorem together with some subsequent results.     

A Blichfeldt-type inequality for the surface area

In 1921, Blichfeldt gave an upper bound on the number of integral points contained in a convex body in terms of the volume of the body. More precisely, he showed that #(K?\Bbb Zⁿ) ￡ n! vol(K)+n\#(K\cap{\Bbb Z}^n)\le n! {\rm vol}(K)+n , whenever K ì \Bbb RⁿK\subset{\Bbb R}^n is a convex body containing n + 1 affinely independent integral points. Here we prove an analogous inequality with respect to the surface area F(K), namely #(K?\Bbb Zⁿ) < vol(K) + ((?n+1)/2) (n-1)! F(K)\#(K\cap{\Bbb Z}^n) < {\rm vol}(K) + ((\sqrt{n}+1)/2) (n-1)! {\rm F}(K) . The proof is based on a slight improvement of Blichfeldt’s bound in the case when K is a non-lattice translate of a lattice polytope, i.e., K = t + P, where t ? \Bbb Rⁿ\\Bbb Zⁿt\in{\Bbb R}^n\setminus{\Bbb Z}^n and P is an n-dimensional polytope with integral vertices. Then we have #((t+P)?\Bbb Zⁿ) ￡ n! vol(P)\#((t+P)\cap{\Bbb Z}^n)\le n! {\rm vol}(P) . Moreover, in the 3-dimensional case we prove a stronger inequality, namely #(K?\Bbb Zⁿ) < vol(K) + 2 F(K)\#(K\cap{\Bbb Z}^n)< {\rm vol}(K) + 2 {\rm F}(K) .     

A Characteristic Property of Injective Holomorphic Germs

Let X ₀ be the germ at 0 of a complex variety and let f: X₀? \Bbb Cⁿ₀f:\ X_0\rightarrow {\Bbb C}^n_0 be a holomorphic germ. We say that f is pseudoimmersive if for any g: \Bbb R₀? X₀g:\ {\Bbb R}_0\rightarrow X_0 such that f °g ? C^￥ f \circ g \in C^{\infty} , we have g ? C^￥g\in C^{\infty} . We prove that f is pseudoimmersive if and only if it is injective. Some results about the real case are also considered.     

On the Oscillation of Second Order Neutral Differential Equations of Emden-Fowler Type

Some oscillation criteria are established by the averaging technique for the second order neutral delay differential equation of Emden-Fowler type (a(t)x￠(t))￠+q₁(t)| y(t-s₁)|^a sgn y(t-s₁) +q₂(t)| y(t-s₂)|^b sgn y(t-s₂)=0,    t 3 t₀,(a(t)x'(t))'+q_1(t)| y(t-\sigma_1)|^{\alpha}\,{\rm sgn}\,y(t-\sigma_1) +q_2(t)| y(t-\sigma_2)|^{\beta}\,{\rm sgn}\,y(t-\sigma_2)=0,\quad t \ge t_0, where x(t) = y(t) + p(t)y(t − τ), τ, σ₁ and σ₂ are nonnegative constants, α > 0, β > 0, and a, p, q ₁, q₂ ? C([t₀, ￥), \Bbb R)q_2\in C([t_0, \infty), {\Bbb R}) . The results of this paper extend and improve some known results. In particular, two interesting examples that point out the importance of our theorems are also included.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

Geometric progressions in sumsets over finite fields

Given two sets A, B í \Bbb F_q^d{\cal A}, {\cal B}\subseteq {\Bbb F}_q^d , the set of d dimensional vectors over the finite field \Bbb F_q{\Bbb F}_q with q elements, we show that the sumset A+B = {a+b | a ? A, b ? B}{\cal A}+{\cal B} = \{{\bf a}+{\bf b}\ \vert\ {\bf a} \in {\cal A}, {\bf b} \in {\cal B}\} contains a geometric progression of length k of the form vΛ ^j , where j = 0,…, k − 1, with a nonzero vector v ? \Bbb F_q^d{\bf v} \in {\Bbb F}_q^d and a nonsingular d × d matrix Λ whenever # A # B 3 20 q^2d-2/k\# {\cal A} \# {\cal B} \ge 20 q^{2d-2/k} . We also consider some modifications of this problem including the question of the existence of elements of sumsets on algebraic varieties.