How quadratic are the natural numbers?

Abstract. For natural numbers n we inspect all factorizations n = ab of n with a ￡ ba \le b in \Bbb N\Bbb N and denote by n=a_n b_nn=a_n b_n the most quadratic one, i.e. such that b_n - a_nb_n - a_n is minimal. Then the quotient k(n) : = a_n/b_n\kappa (n) := a_n/b_n is a measure for the quadraticity of n. The best general estimate for k(n)\kappa (n) is of course very poor: 1/n ￡ k(n) ￡ 11/n \le \kappa (n)\le 1. But a Theorem of Hall and Tenenbaum [1, p. 29], implies(logn)^-d-e ￡ k(n) ￡ (logn)^-d(\log n)^{-\delta -\varepsilon } \le \kappa (n) \le (\log n)^{-\delta } on average, with d = 1 - (1+log₂  2)/log2=0,08607 ?\delta = 1 - (1+\log _2 \,2)/\log 2=0,08607 \ldots and for every e > 0\varepsilon >0. Hence the natural numbers are fairly quadratic.¶k(n)\kappa (n) characterizes a specific optimal factorization of n. A quadraticity measure, which is more global with respect to the prime factorization of n, is k^*(n): = ?_{1 ￡ a ￡ b, ab=n} a/b\kappa ^*(n):= \textstyle\sum\limits \limits _{1\le a \le b, ab=n} a/b. We show k^*(n) ~ \frac 12\kappa ^*(n) \sim \frac {1}{2} on average, and k^*(n)=W(2^{\frac 12(1-e) log n/log ₂n})\kappa ^*(n)=\Omega (2^{\frac {1}{2}(1-\varepsilon ) {\log}\, n/{\log} _2n})for every e > 0\varepsilon>0.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

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.     

Irregular Wavelet Frames and Gabor Frames

Given g { l^\fracn2 g( l_j x - kb ) }_jezjezⁿ ,where  l_j \left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L ²(R ⁿ ) are given. For a class of functions g{ e^{zrib( j,x )} g( x - l_k ) }_{jezⁿ ,kez}\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} to be a frame.     

Numerical verification of condition for approximately midconvex functions

Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR₊ ? \mathbbR₊{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if

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:

Semiconcavity estimates for viscous Hamilton–Jacobi equations

We present sharp Hessian estimates of the form D² S^e(t,x) ￡ g(t)I{D^2 S^\varepsilon(t,x)\leq g(t)I} for the solution of the viscous Hamilton–Jacobi equation

A Remark on the Growth of the Denominators of Convergents

For log\frac1+?52 ￡ l_* ￡ l^* < ￥{\rm log}\frac{1+\sqrt{5}}{2}\leq \lambda_\ast \leq \lambda^\ast < \infty , let E(λ_*, λ^*) be the set {x ? [0,1): liminf_{n ? ￥}\fraclogq_n(x)n=l_*, limsup_{n ? ￥}\fraclogq_n(x)n=l^*}. \left\{x\in [0,1):\ \mathop{\lim\inf}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda_{\ast}, \mathop{\lim\sup}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda^{\ast}\right\}. It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that dimE(l_*, l^*) 3 \fracl_* -log\frac1+?522l^*\dim E(\lambda_{\ast}, \lambda^{\ast}) \ge \frac{\lambda_{\ast} -\log \frac{1+\sqrt{5}}{2}}{2\lambda^{\ast}}     

On exponential sums over primes in short intervals

Let Λ(n) be the von Mangoldt function, x real and y small compared with x. This paper gives a non-trivial estimate on the exponential sum over primes in short intervals S₂(x,y;a)=?_{x < n ￡ x+y}L(n)e(n² a)S_2(x,y;{\alpha})=\sum_{x < n \le x+y}\Lambda(n)e(n^2 {\alpha}) for all α ∈ [0,1] whenever x^\frac23+e ￡ y ￡ xx^{\frac{2}{3}+{\varepsilon}}\le y \le x . This result is as good as what was previously derived from the Generalized Riemann Hypothesis.     

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.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

On the Mean Value of the Index of Composition of an Integer

For each integer n l(n)=[(log n)/(log g(n))]\lambda(n)={{\rm log}\, n\over{\rm log}\, \gamma(n)} be the index of composition of n, where g(n)=?_p|np\gamma(n)=\prod_{p\vert n}p . For convenience, we write ?_{x ￡ n ￡ x+?x}l(n)\sum_{x\le n\le x+\sqrt{x}}\lambda(n) and ?_{n ￡ x}l(n)\sum_{n\le x}\lambda(n) , as well as for ?_{x ￡ n ￡ x+?x}1/l(n)\sum_{x\le n\le x+\sqrt{x}}1/\lambda(n) and ?_{n ￡ x}1/l(n)\sum_{n\le x}1/\lambda(n) . Finally we study the sum of running over shifted primes.     

Global existence and uniqueness for the magnetic Hartree equation

In this paper, we consider

Remarks on a sine polynomial

Let n ≥ 0 be an integer. Then we have for ${x\in(0,\pi)}Let n ≥ 0 be an integer. Then we have for x ? (0,p){x\in(0,\pi)} :

?k=0n (( 2n+1) || (n-k ))\fracsin((2k+1)x)2k+1 ￡ \frac8n  n!(2n+1)!!.\sum_{k=0}^n { 2n+1 \choose n-k }\frac{\sin((2k+1)x)}{2k+1}\leq\frac{8^n \, n!}{(2n+1)!!}.      15. From Ginzburg-Landau to Gross-Pitaevskii      Alberto Farina 《Monatshefte für Mathematik》2003,179(2):265-269 (w, c) ? R2, u ? Lloc3 (RN, C)\font\Opr=msbm10 at 8pt \def\Op#1{\hbox{\Opr{#1}}}(\omega, c)\in {\Op R}^2, {\upsilon} \in L_{\rm loc}^3 ({\Op R}^N, {\bf C}) and x||j||L￥(RN×R)2 ￡ max{0, 1-w+[(c2)/4]}.\font\Opr=msbm10 at 8pt \def\Op#1{\hbox{\Opr{#1}}}\Vert\varphi\Vert_{L^\infty({\Op R}^N\times{\Op R})}^2 \le \max\bigg\{0, 1-\omega+{c^2\over 4}\bigg\}.      16. On the sum of a prime and a k-th power of prime in short intervals      Y. C. Wang 《Acta Mathematica Hungarica》2012,135(3):248-269 Let Hk\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X\frac1120(1-\frac12k) +e\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak Hk ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X\frac1120(1-\frac1k) +e\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.      17. Positive Cubature Formulas and Marcinkiewicz–Zygmund Inequalities on Spherical Caps      Feng Dai  Heping Wang 《Constructive Approximation》2010,31(1):1-36 Let Π n d denote the space of all spherical polynomials of degree at most n on the unit sphere $\mathbb{S}^{d}Let Π n d denote the space of all spherical polynomials of degree at most n on the unit sphere \mathbbSd\mathbb{S}^{d} of ℝ d+1, and let d(x,y) denote the geodesic distance arccos x⋅y between x,y ? \mathbbSdx,y\in\mathbb{S}^{d} . Given a spherical cap B(e,a)={x ? \mathbbSd:d(x,e) ￡ a}    (e ? \mathbbSd, a ? (0,p) is bounded awayfrom p),B(e,\alpha)=\big\{x\in\mathbb{S}^{d}:d(x,e)\leq\alpha\big\}\quad \bigl(e\in\mathbb{S}^{d},\ \alpha\in(0,\pi)\ \mbox{is bounded awayfrom}\ \pi\bigr),      18. Gaussian upper bounds for fundamental solutions of a family of parabolic equations      Yury A. Alkhutov  Vitali Liskevich 《Journal of Evolution Equations》2012,12(1):165-179 We study the family of divergence-type second-order parabolic equations we(x)\frac?u?t=div(a(x)we(x) ?u), x ? \mathbbRn{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and we=1{\omega_\varepsilon=1} for x n  < 0 and we=e{\omega_\varepsilon=\varepsilon} for x n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .      19. Isometric Equivalence of Integration Operators      Nadia J. Gal  James E. Jamison  Aristomenis G. Siskakis 《Complex Analysis and Operator Theory》2010,4(2):245-255 We are interested in the isometric equivalence problem for the Cesàro operator C(f) (z) = \frac1z ò0zf(x) \frac11-xd x{C(f) (z) =\frac{1}{z} \int_{0}^{z}f(\xi) \frac{1}{1-\xi}d \xi} and an operator Tg(f)(z)=\frac1zò0zf(x) g￠(x) d x{T_{g}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\xi) g^{\prime}(\xi) d \xi}, where g is an analytic function on the disc, on the Hardy and Bergman spaces. Then we generalize this to the isometric equivalence problem of two operators Tg1{T_{g_{1}}} and Tg2{T_{g_{2}}} on the Hardy space and Bergman space. We show that the operators Tg1{T_{g_{1}}} and Tg2{T_{g_{2}}} satisfy Tg1U1=U2Tg2{T_{g_{1}}U_{1}=U_{2}T_{g_{2}}} on H p , 1 ≤ p < ∞, p ≠ 2 if and only if g2(z) = lg1(eiqz){g_{2}(z) =\lambda g_{1}(e^{i\theta}z) }, where λ is a modulus one constant and U i , i = 1, 2 are surjective isometries of the Hardy Space. This is analogous to the Campbell-Wright result on isometrically equivalence of composition operators on the Hardy space.      20. Spectral decomposition and Gelfand’s theorem      A. Driouich  O. El-Mennaoui  M. Jazar 《Semigroup Forum》2010,80(3):391-404 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)={ilk;k ? \mathbb\mathbbZ*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|lk|ldkn < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and dk=min(\frac|lk+1-lk|2,\frac|lk-1-lk|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 (Pk)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.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

From Ginzburg-Landau to Gross-Pitaevskii

(w, c) ? R², u ? L_loc³ (R^N, C)\font\Opr=msbm10 at 8pt \def\Op#1{\hbox{\Opr{#1}}}(\omega, c)\in {\Op R}^2, {\upsilon} \in L_{\rm loc}^3 ({\Op R}^N, {\bf C}) and x||j||_{L^￥(R^N×R)}² ￡ max{0, 1-w+[(c²)/4]}.\font\Opr=msbm10 at 8pt \def\Op#1{\hbox{\Opr{#1}}}\Vert\varphi\Vert_{L^\infty({\Op R}^N\times{\Op R})}^2 \le \max\bigg\{0, 1-\omega+{c^2\over 4}\bigg\}.     

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

Positive Cubature Formulas and Marcinkiewicz–Zygmund Inequalities on Spherical Caps

Let Π _n ^d denote the space of all spherical polynomials of degree at most n on the unit sphere $\mathbb{S}^{d}Let Π _n ^d denote the space of all spherical polynomials of degree at most n on the unit sphere \mathbbS^d\mathbb{S}^{d} of ℝ ^d+1, and let d(x,y) denote the geodesic distance arccos x⋅y between x,y ? \mathbbS^dx,y\in\mathbb{S}^{d} . Given a spherical cap

B(e,a)={x ? \mathbbSd:d(x,e) ￡ a}    (e ? \mathbbSd, a ? (0,p) is bounded awayfrom p),B(e,\alpha)=\big\{x\in\mathbb{S}^{d}:d(x,e)\leq\alpha\big\}\quad \bigl(e\in\mathbb{S}^{d},\ \alpha\in(0,\pi)\ \mbox{is bounded awayfrom}\ \pi\bigr),      18. Gaussian upper bounds for fundamental solutions of a family of parabolic equations      Yury A. Alkhutov  Vitali Liskevich 《Journal of Evolution Equations》2012,12(1):165-179 We study the family of divergence-type second-order parabolic equations we(x)\frac?u?t=div(a(x)we(x) ?u), x ? \mathbbRn{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and we=1{\omega_\varepsilon=1} for x n  < 0 and we=e{\omega_\varepsilon=\varepsilon} for x n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .      19. Isometric Equivalence of Integration Operators      Nadia J. Gal  James E. Jamison  Aristomenis G. Siskakis 《Complex Analysis and Operator Theory》2010,4(2):245-255 We are interested in the isometric equivalence problem for the Cesàro operator C(f) (z) = \frac1z ò0zf(x) \frac11-xd x{C(f) (z) =\frac{1}{z} \int_{0}^{z}f(\xi) \frac{1}{1-\xi}d \xi} and an operator Tg(f)(z)=\frac1zò0zf(x) g￠(x) d x{T_{g}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\xi) g^{\prime}(\xi) d \xi}, where g is an analytic function on the disc, on the Hardy and Bergman spaces. Then we generalize this to the isometric equivalence problem of two operators Tg1{T_{g_{1}}} and Tg2{T_{g_{2}}} on the Hardy space and Bergman space. We show that the operators Tg1{T_{g_{1}}} and Tg2{T_{g_{2}}} satisfy Tg1U1=U2Tg2{T_{g_{1}}U_{1}=U_{2}T_{g_{2}}} on H p , 1 ≤ p < ∞, p ≠ 2 if and only if g2(z) = lg1(eiqz){g_{2}(z) =\lambda g_{1}(e^{i\theta}z) }, where λ is a modulus one constant and U i , i = 1, 2 are surjective isometries of the Hardy Space. This is analogous to the Campbell-Wright result on isometrically equivalence of composition operators on the Hardy space.      20. Spectral decomposition and Gelfand’s theorem      A. Driouich  O. El-Mennaoui  M. Jazar 《Semigroup Forum》2010,80(3):391-404 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)={ilk;k ? \mathbb\mathbbZ*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|lk|ldkn < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and dk=min(\frac|lk+1-lk|2,\frac|lk-1-lk|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 (Pk)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.

Gaussian upper bounds for fundamental solutions of a family of parabolic equations

We study the family of divergence-type second-order parabolic equations w_e(x)\frac?u?t=div(a(x)w_e(x) ?u), x ? \mathbbRⁿ{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and w_e=1{\omega_\varepsilon=1} for x _n  < 0 and w_e=e{\omega_\varepsilon=\varepsilon} for x _n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .     

Isometric Equivalence of Integration Operators

We are interested in the isometric equivalence problem for the Cesàro operator C(f) (z) = \frac1z ò₀^zf(x) \frac11-xd x{C(f) (z) =\frac{1}{z} \int_{0}^{z}f(\xi) \frac{1}{1-\xi}d \xi} and an operator T_g(f)(z)=\frac1zò₀^zf(x) g^￠(x) d x{T_{g}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\xi) g^{\prime}(\xi) d \xi}, where g is an analytic function on the disc, on the Hardy and Bergman spaces. Then we generalize this to the isometric equivalence problem of two operators T_g1{T_{g_{1}}} and T_g2{T_{g_{2}}} on the Hardy space and Bergman space. We show that the operators T_g1{T_{g_{1}}} and T_g2{T_{g_{2}}} satisfy T_g1U₁=U₂T_g2{T_{g_{1}}U_{1}=U_{2}T_{g_{2}}} on H ^p , 1 ≤ p < ∞, p ≠ 2 if and only if g₂(z) = lg₁(e^iqz){g_{2}(z) =\lambda g_{1}(e^{i\theta}z) }, where λ is a modulus one constant and U _i , i = 1, 2 are surjective isometries of the Hardy Space. This is analogous to the Campbell-Wright result on isometrically equivalence of composition operators on the Hardy space.     

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.