Analytic Fourier integral operators, Monge-Ampère equation and holomorphic factorization

We will show that the factorization condition for the Fourier integral operators I_r ^m (X,Y;L )I_\rho ^\mu (X,Y;\it\Lambda ) leads to a parametrized parabolic Monge-Ampère equation. For an analytic operator, the fibration by the kernels of the Hessian of phase function is shown to be analytic in a number of cases, by considering a more general continuation problem for the level sets of a holomorphic mapping. The results are applied to obtain L^p-continuity for translation invariant operators in \Bbb Rⁿ{\Bbb R}^n with n ￡ 4n\leq 4 and for arbitrary \Bbb Rⁿ{\Bbb R}^n with dp_X×Y|_L ￡ n+2d\pi _{X\times Y}|_\Lambda \leq n+2.     

On Li’s coefficients for the Rankin–Selberg <Emphasis Type="Italic">L</Emphasis>-functions

We define a generalized Li coefficient for the L-functions attached to the Rankin–Selberg convolution of two cuspidal unitary automorphic representations π and π ^′ of GL_m(\mathbbA_F)GL_{m}(\mathbb{A}_{F}) and GL_m^￠(\mathbbA_F)GL_{m^{\prime }}(\mathbb{A}_{F}) . Using the explicit formula, we obtain an arithmetic representation of the n th Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) attached to L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) . Then, we deduce a full asymptotic expansion of the archimedean contribution to l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) and investigate the contribution of the finite (non-archimedean) term. Under the generalized Riemann hypothesis (GRH) on non-trivial zeros of L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) , the nth Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) is evaluated in a different way and it is shown that GRH implies the bound towards a generalized Ramanujan conjecture for the archimedean Langlands parameters μ _π (v,j) of π. Namely, we prove that under GRH for L(s,p_f×[(p)\tilde]_f)L(s,\pi _{f}\times \widetilde{\pi}_{f}) one has |Rem_p(v,j)| ￡ \frac14|\mathop {\mathrm {Re}}\mu_{\pi}(v,j)|\leq \frac{1}{4} for all archimedean places v at which π is unramified and all j=1,…,m.     

L^p -uniqueness for Dirichlet operators with singular potentials

We study the problem of strong uniqueness in L^p for the Dirichlet operator perturbed by a singular complex-valued potential. First we construct the generator -H_p of a C₀-semigroup in L^p, with H_p extending the restriction of the perturbed Dirichlet operator to the set of smooth functions. The corresponding sesquilinear form in L² is not assumed to be sectorial. Then we reveal sufficient conditions on the logarithmic derivative # of the measure rdx \rho dx and the potential q which ensure that -H_p is the only extension of D+b·?-q \upharpoonright_C0^￥ \Delta +\beta \cdot \nabla -q \upharpoonright_{C_0^{\infty}} which generates a C₀-semigroup on L^p. The method of a priori estimates of solutions to corresponding differential equations is employed.     

On Approximate Spectral Factorization of Matrix Functions

It is proved that if positive definite matrix functions (i.e. matrix spectral densities) S _n , n=1,2,… , are convergent in the L ₁-norm, ||S_n-S||_L1? 0\|S_{n}-S\|_{L_{1}}\to 0, and ò₀^2plogdetS_n(e^iq) dq?ò₀^2plogdetS(e^iq) dq\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S_{n}(e^{i\theta})\,d\theta\to\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S(e^{i\theta})\,d\theta, then the corresponding (canonical) spectral factors are convergent in L ₂, ||S⁺_n-S⁺||_L2? 0\|S^{+}_{n}-S^{+}\|_{L_{2}}\to 0. The formulated logarithmic condition is easily seen to be necessary for the latter convergence to take place.     

Weighted Inequalities for the Generalized Maximal Operator in Martingale Spaces

The generalized maximal operator M in martingale spaces is considered. For 1 < p ≤ q < ∞, the authors give a necessary and sufficient condition on the pair ([^(m)]\hat \mu , v) for M to be a bounded operator from martingale space L ^p (v) into L ^q ([^(m)]\hat \mu ) or weak-L ^q ([^(m)]\hat \mu ), where [^(m)]\hat \mu is a measure on Ω × ℕ and v a weight on Ω. Moreover, the similar inequalities for usual maximal operator are discussed.     

Periodic Positive Solution to a Class of Singular Second-Order Ordinary Differential Equations

This paper studies the existence of a positive solution to the second-order periodic boundary value problem

The Heat Equation for the Generalized Hermite and the Generalized Landau Operators

We give a formula for the one-parameter strongly continuous semigroups ${e^{-tL^{\lambda}}}We give a formula for the one-parameter strongly continuous semigroups e^-tLl{e^{-tL^{\lambda}}} and e^{-t [(A)\tilde]}{e^{-t \tilde{A}}}, t > 0 generated by the generalized Hermite operator L^l, l ? R\{0}{L^{\lambda}, \lambda \in {\bf R}\backslash \{0\}} respectively by the generalized Landau operator ?. These formula are derived by means of pseudo-differential operators of the Weyl type, i.e. Weyl transforms, Fourier-Wigner transforms and Wigner transforms of some orthonormal basis for L ²(R ²ⁿ ) which consist of the eigenfunctions of the generalized Hermite operator and of the generalized Landau operator. Applications to an L ² estimate for the solutions of initial value problems for the heat equations governed by L ^λ respectively ?, in terms of L ^p norm, 1 ≤ p ≤ ∞ of the initial data are given.     

On the class number of p-th cyclotomic field

Let h^[-(p)h^-(p) be the relative class number of the p-th cyclotomic field. We show that logh^-(p) = [(p+3)/4] logp - [(p)/2] log2p+ log(1-b) + O(log₂² p)\log h^-(p) = {{p+3} \over {4}} \log p - {{p} \over {2}} \log 2\pi + \log (1-\beta ) + O(\log _2^2 p), where b\beta denotes a Siegel zero, if such a zero exists and p o -1 mod 4p\equiv -1\pmod {4}. Otherwise this term does not appear.     

Convergence of spectral decompositions of Hill operators with trigonometric polynomial potentials

We consider the Hill operator

L p Norms of Eigenfunctions in the Completely Integrable Case

The eigenfunctions e^iál,x? e^{i\langle\lambda,x\rangle} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions blow up at least at the rate || j_k || L^p 3 C(e)l_k^{[(p-2)/(4p)]-e} \| \varphi_k \| L^{p} \geq C(\epsilon)\lambda_{k}^{{p-2\over4p}-\epsilon} when p > 2. This gives a quantitative refinement of our recent result [TZ1] that some sequence of eigenfunctions must blow up in L^p unless (M,g) is flat. The better result in this paper is based on mass estimates of eigenfunctions near singular leaves of the Liouville foliation.     

Trigonometric approximation of functions in generalized Lebesgue spaces with variable exponent

We investigate the approximation properties of the trigonometric system in L_2p^{p( ·)} L_{2\pi }^{p\left( \cdot \right)} . We consider the moduli of smoothness of fractional order and obtain direct and inverse approximation theorems together with a constructive characterization of a Lipschitz-type class.     

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Well-Posedness of Fractional Differential Equations on Vector-Valued Function Spaces

We study the well-posedness of the fractional differential equations with infinite delay (P ₂): D^a u(t)=Au(t)+ò^t_-￥a(t-s)Au(s)ds + f(t), (0 ￡ t ￡ 2p){D^\alpha u(t)=Au(t)+\int^{t}_{-\infty}a(t-s)Au(s)ds + f(t), (0\leq t \leq2\pi)}, where A is a closed operator in a Banach space ${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)}${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)} and f is an X-valued function. Under suitable assumptions on the parameter α and the Laplace transform of a, we completely characterize the well-posedness of (P ₂) on Lebesgue-Bochner spaces L^p(\mathbbT, X){L^p(\mathbb{T}, X)} and periodic Besov spaces B _p,q^s(\mathbbT, X){{B} _{p,q}^s(\mathbb{T}, X)} .     

Analyticity on L 1 of the heat semigroup with Wentzell boundary conditions

We show that the semigroup generated by the realization of the Laplace operator with Wentzell boundary conditions in a bounded smooth domain is analytic on ${L^1(\Omega) \oplus L^1(\partial \Omega)}We show that the semigroup generated by the realization of the Laplace operator with Wentzell boundary conditions in a bounded smooth domain is analytic on L¹(W) ?L¹(?W){L^1(\Omega) \oplus L^1(\partial \Omega)} .     

Schlicht envelopes of holomorphy and topology

Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC²{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC²{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i_*:p₁(W) ? p₁(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.     

The Problem of the Pointwise Fourier Inversion for Piecewise Smooth Functions of Several Variables

We study the pointwise convergence problem for the inverse Fourier transform of piecewise smooth functions, i.e., whether S_rD f (\bx) ? f (\bx)S_{\rho D} f (\bx) \to f (\bx) as r? ￥\rho \to \infty . r? ￥\rho \to \infty . Here for \bx,\bxi ? \Rn\bx,\bxi \in \Rn S_rDf(\bmx)=\dsf1(2p)^n/2\intli_rD [^(f)](\bxi) e^{\dst iá\bmx,\bxi?} d\bxi . S_{\rho D}f(\bm{x})=\dsf1{(2\pi)^{n/2}}\intli_{\rho D} \widehat{f}(\bxi) e^{\dst i\langle\bm{x},\bxi\rangle} d\bxi~. is the partial sum operator using a convex and open set DD containing the origin, and rD={ r\bxi:\bxi ? D }\rho D=\left\{ \rho \bxi:\bxi\in D \right\}.     

On the existence of convex classical solutions to a generalized Prandtl-Batchelor free-boundary problem-II

We give an analytical proof of the existence of convex classical solutions for the (convex) Prandtl-Batchelor free boundary problem in fluid dynamics. In this problem, a convex vortex core of constant vorticity m > 0\mu>0 is embedded in a closed irrotational flow inside a closed, convex vessel in ?²\Re^2 . The unknown boundary of the vortex core is a closed curve G\Gamma along which (v⁺)²-(v^-)²=L(v^+)^2-(v^-)^2=\Lambda , where v⁺v^+ and v^-v^- denote, respectively, the exterior and interior flow-speeds along G\Gamma and L\Lambda is a given constant. Our existence results all apply to the natural multidimensional mathematical generalization of the above problem. The present existence theorems are the only ones available for the Prandtl-Batchelor problem for L > 0\Lambda>0 , because (a) the author's prior existence treatment was restricted to the case where L < 0\Lambda<0 , and because (b) there is no analytical existence theory available for this problem in the non-convex case, regardless of the sign of L\Lambda .     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

Concave and positive summing norms for operators on Lp

Let p be a real number such that p ? [1,+ ￥] p \in [1,+ \infty] and its conjugate exponent p' is not an even integer and let T be an operator defined on L^p(l)L^p(\lambda ) with values in a Banach space. We prove that the image of the unit ball determines if T belongs to the space of concave and positive summing operators. We also prove that the image of the unit ball determines the representability of the operator.     

Lower bound in the Bernstein inequality for the first derivative of algebraic polynomials

We prove that max |p′(x)|, where p runs over the set of all algebraic polynomials of degree not higher than n ≥ 3 bounded in modulus by 1 on [−1, 1], is not lower than ( n - 1 ) \mathord