The composition operators on weighted Bloch space

We will characterize the boundedness and compactness of the composition operators on weighted Bloch space B _log = { f ? H(D): sup_{z ? D} (1-| z|²) ( log\frac21-| z|² )| f￠(z)| B_{ \log }= \{ f \in H(D): \sup_{z \in D } (1-\left| z\right|^2) \left( \log \frac{2}{1-\left| z\right|^2} \right)\left| f'(z)\right| < +￥} +\infty \} , where H(D) be the class of all analytic functions on D.     

Asymptotically autonomous parabolic evolution equations

We study the long-term behaviour of the parabolic evolution equation $\[u'(t)=A(t)u(t)+f(t), t>s,\quad u(s)=x. \]$\[u'(t)=A(t)u(t)+f(t), t>s,\quad u(s)=x. \] If A(t) A(t) converges to a sectorial operator A with s(A)?i \Bbb R = ? \sigma(A)\cap i \Bbb R =\emptyset as t?￥ t\to\infty , then the evolution family solving the homogeneous problem has exponential dichotomy. If also f(t)? f_￥ f(t)\to f_\infty , then the solution u converges to the 'stationary solution at infinity', i.e., lim_t?￥u(t) = -A\sp-1f_￥=:u_￥,        lim_t?￥u￠(t)=0,        lim_t?￥A(t)u(t)=Au_￥. \lim_{t\to\infty}u(t)= -A\sp{-1}f_\infty=:u_\infty, \qquad \lim_{t\to\infty}u'(t)=0, \qquad \lim_{t\to\infty}A(t)u(t)=Au_\infty. .     

The Łojasiewicz exponent of an analytic function at an isolated zero

Let f be a real analytic function defined in a neighborhood of 0 ? \Bbb Rⁿ 0 \in {\Bbb R}^n such that f^-1(0)={0} f^{-1}(0)=\{0\} . We describe the smallest possible exponents !, #, / for which we have the following estimates: |f(x)| 3 c|x|^a |f(x)|\geq c|x|^{\alpha} , |grad f(x)| 3 c|x|^b |{\rm grad}\,f(x)|\geq c|x|^{\beta} , |grad f(x)| 3 c|f(x)|^q |{\rm grad}\,f(x)|\geq c|f(x)|^{\theta} for x near zero with c > 0 c > 0 . We prove that a = b+1 \alpha=\beta+1, q = b/a\theta=\beta/\alpha . Moreover b = N+a/b \beta=N+a/b where $ 0 h a < b h N^{n-1} $ 0 h a < b h N^{n-1} . If f is a polynomial then |f(x)| 3 c|x|^(degf-1)n+1 |f(x)|\geq c|x|^{(\deg f-1)^n+1} in a small neighborhood of zero.     

On minimal p-degrees in 2-transitive permutation groups

Suppose G is a transitive permutation group on a finite set W\mit\Omega of n points and let p be a prime divisor of |G||G|. The smallest number of points moved by a non-identity p-element is called the minimal p-degree of G and is denoted m_p (G). ¶ In the article the minimal p-degrees of various 2-transitive permutation groups are calculated. Using the classification of finite 2-transitive permutation groups these results yield the main theorem, that m_p(G) 3 [(p-1)/(p+1)] ·|W|m_{p}(G) \geq {{p-1} \over {p+1}} \cdot |\mit\Omega | holds, if Alt(W) \nleqq G {\rm Alt}(\mit\Omega ) \nleqq G .¶Also all groups G (and prime divisors p of |G||G|) for which m_p(G) ￡ [(p-1)/(p)] ·|W|m_{p}(G)\le {{p-1}\over{p}} \cdot |\mit\Omega | are identified.     

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.     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

On Lipschitz selections of affine-set valued mappings

We prove a Helly-type theorem for the family of all k-dimensional affine subsets of a Hilbert space H. The result is formulated in terms of Lipschitz selections of set-valued mappings from a metric space (M,r) ({\cal M},\rho) into this family.¶Let F be such a mapping satisfying the following condition: for every subset M￠ ì M {\cal M'} \subset {\cal M} consisting of at most 2^k+1 points, the restriction F|_M￠ F|_{\cal M'} of F to M￠ {\cal M'} has a selection f_M￠ (i.e. f_M￠(x) ? F(x) for all x  ? M￠) f_{\cal M'}\,({\rm i.e.}\,f_{\cal M'}(x) \in F(x)\,{\rm for\,all}\,x\,\in {\cal M'}) satisfying the Lipschitz condition ||f_M￠(x) - f_M￠(y)||  ￡ r(x,y ), x,y ? M￠ \parallel f_{\cal M'}(x) - f_{\cal M'}(y)\parallel\,\le \rho(x,y ),\,x,y \in {\cal M'} . Then F has a Lipschitz selection f : M ? H f : {\cal M} \to H such that ||f(x) - f(y) ||  ￡ gr(x,y ), x,y ? M \parallel f(x) - f(y) \parallel\,\le \gamma \rho (x,y ),\,x,y \in {\cal M} where g = g(k) \gamma = \gamma(k) is a constant depending only on k. (The upper bound of the number of points in M￠ {\cal M'} , 2^k+1, is sharp.)¶The proof is based on a geometrical construction which allows us to reduce the problem to an extension property of Lipschitz mappings defined on subsets of metric trees.     

On the effect of external forces on incompressible fluid motions at large distances

We study incompressible Navier–Stokes flows in \mathbb R^d{\mathbb R^d} with small and well localized data and external force f. We establish pointwise estimates for large |x| of the form c_t|x|^-d ￡ |u(x,t)| ￡ c￠_t|x|^-d{c_t|x|^{-d}\le |u(x,t)|\le c^\prime_t|x|^{-d}}, where c _t > 0 whenever ò₀^tòf(x,s) dx ds 1 0{\int_0^t\int f(x,s)\,dx\,ds\not= {\bf 0}} . This sharply contrasts with the case of the Navier–Stokes equations without force, studied in Brandolese and Vigneron (J Math Pures Appl 88:64–86, 2007) where the spatial asymptotic behavior was |u(x,t)| @ C_t|x|^-d-1{|u(x,t)|\simeq C_t|x|^{-d-1}} . In particular, this shows that external forces with non-zero mean, no matter how small and well localized (say, compactly supported in space-time), increase the velocity of fluid particles at all times t and at at all points x in the far-field. As an application of our analysis on the pointwise behavior, we deduce sharp upper and lower bounds of weighted L ^p -norms for strong solutions, extending the results obtained in Bae et al. (to appear) for weak solutions, by considering here a larger (and in fact, optimal) class of weight functions.     

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Quasilinear elliptic equations on \mathbbRN{\mathbb{R}^{N}} with singular potentials and bounded nonlinearity

We study the existence and multiplicity of nontrivial radial solutions of the quasilinear equation

Solvability of systems of partial differential equations for functions defined on nonconvex sets

We consider systems of partial differential equations with constant coefficients of the form ( R(D_x, D_y)f = 0, P(D_x)f = g), f,g ? C^￥(W),\big ( R(D_x, D_y)f = 0, P(D_x)f = {g}\big ), f,g \in {C}^{\infty}(\Omega),, where R (and P) are operators in (n + 1) variables (and in n variables, respectively), g satisfies the compatibility condition R(D_x, D_y)g = 0  and  W ì \Bbb Rⁿ⁺¹R(D_x, D_y){g} = 0 \ {\rm and} \ \Omega \subset {\Bbb R}^{n+1} is open. Let R be elliptic. We show that the solvability of such systems for certain nonconvex sets W\Omega implies that any localization at ￥\infty of the principle part P_m of P is hyperbolic. In contrast to this result such systems can always be solved on convex open sets W\Omega by the fundamental principle of Ehrenpreis-Palamodov.     

On approximation of periodic functions by Fourier sums

Let L _p , 1 ≤ p< ∞, be the space of 2π-periodic functions f with the norm || f ||_p = ( ò _{- p}^p | f |^p )^{1 \mathord}

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) .     

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.     

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.     

Essential norms of some singular integral operators

Let a\alpha and b\beta be bounded measurable functions on the unit circle T. The singular integral operator S_a, bS_{\alpha ,\,\beta } is defined by S_a, b f = aPf + bQf(f ? L² (T))S_{\alpha ,\,\beta } f = \alpha Pf + \beta Qf(f \in L^2 (T)) where P is an analytic projection and Q is a co-analytic projection. In the previous paper, the norm of S_a, bS_{\alpha ,\,\beta } was calculated in general, using a,b\alpha ,\beta and a[`(b)] + H<sup>￥</sup>\alpha \bar {\beta } + H^\infty where H<sup>￥</sup>H^\infty is a Hardy space in L<sup>￥</sup> (T).L^\infty (T). In this paper, the essential norm ||S<sub>a, b</sub> ||<sub>e</sub>\Vert S_{\alpha ,\,\beta } \Vert _e of S<sub>a, b</sub>S_{\alpha ,\,\beta } is calculated in general, using a[`(b)] + H^￥ + C\alpha \bar {\beta } + H^\infty + C where C is a set of all continuous functions on T. Hence if a[`(b)]\alpha \bar {\beta } is in H^￥ + CH^\infty + C then ||S_a, b ||_e = max(||a||_￥ , ||b||_￥ ).\Vert S_{\alpha ,\,\beta } \Vert _e = \max (\Vert \alpha \Vert _\infty , \Vert \beta \Vert _\infty ). This gives a known result when a, b\alpha , \beta are in C.     

Polar factorization of maps on Riemannian manifolds

Let (M,g) be a connected compact manifold, C³ smooth and without boundary, equipped with a Riemannian distance d(x,y). If s : M ? M s : M \to M is merely Borel and never maps positive volume into zero volume, we show s = t °u s = t \circ u factors uniquely a.e. into the composition of a map t(x) = exp_x[-?y(x)] t(x) = {\rm exp}_x[-\nabla\psi(x)] and a volume-preserving map u : M ? M u : M \to M , where y: M ? \bold R \psi : M \to {\bold R} satisfies the additional property that (y^c)^c = y (\psi^c)^c = \psi with y^c(y) :=inf{c(x,y) - y(x) | x ? M} \psi^c(y) :={\rm inf}\{c(x,y) - \psi(x)\,\vert\,x \in M\} and c(x,y) = d²(x,y)/2. Like the factorization it generalizes from Euclidean space, this non-linear decomposition can be linearized around the identity to yield the Hodge decomposition of vector fields.¶The results are obtained by solving a Riemannian version of the Monge--Kantorovich problem, which means minimizing the expected value of the cost c(x,y) for transporting one distribution f 3 0 f \ge 0 of mass in L¹(M) onto another. Parallel results for other strictly convex cost functions c(x,y) 3 0 c(x,y) \ge 0 of the Riemannian distance on non-compact manifolds are briefly discussed.     

On the regular growth of Dirichlet series absolutely convergent in a half-plane

For the Dirichlet series F(s) = ?_{n = 1}^￥ a_nexp{ sl_n } F(s) = \sum\nolimits_{n = 1}^\infty {{a_n}\exp \left\{ {s{\lambda_n}} \right\}} with abscissa of absolute convergence σ _a =0, we establish conditions for (λ _n ) and (a _n ) under which lnM( s, F ) = T_R( 1 + o(1) )exp{ r_R

Bounded solutions of the Golab—Schinzel equation

Summary. Let \Bbb K {\Bbb K} be either the field of reals or the field of complex numbers, X be an F-space (i.e. a Fréchet space) over \Bbb K {\Bbb K} n be a positive integer, and f : X ? \Bbb K f : X \to {\Bbb K} be a solution of the functional equation¶¶f(x + f(x)ⁿ y) = f(x) f(y) f(x + f(x)^n y) = f(x) f(y) .¶We prove that, if there is a real positive a such that the set { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} contains a subset of second category and with the Baire property, then f is continuous or { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} for every x ? X x \in X . As a consequence of this we obtain the following fact: Every Baire measurable solution f : X ? \Bbb K f : X \to {\Bbb K} of the equation is continuous or equal zero almost everywhere (i.e., there is a first category set A ì X A \subset X with f(X \A) = { 0 }) f(X \backslash A) = \{ 0 \}) .     

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)} .