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

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.     

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.     

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.     

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.     

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.     

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

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

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.     

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.     

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.     

Decay estimates for "anisotropic" viscous Hamilton-Jacobi equations in $ \mathbb{R}^{N} $

The large time behaviour of the L^q L^q -norm of nonnegative solutions to the "anisotropic" viscous Hamilton-Jacobi equation¶¶ u_t - Du + ?_i=1^m |u_xi|^p_i = 0      in   \mathbbR₊×\mathbbR^N,u_t - \Delta u + \sum_{i=1}^m \vert u_{x_i}\vert^{p_i} = 0 \;\;\mbox{ in }\; {\mathbb{R}}_+\times{\mathbb{R}}^N,¶¶is studied for q=1 q=1 and q=￥ q=\infty , where m ? {1,?,N} m\in\{1,\ldots,N\} and p_i ? [1,+￥) p_i\in [1,+\infty) for i ? {1,?,m} i\in\{1,\ldots,m\} . The limit of the L¹ L^1 -norm is identified, and temporal decay estimates for the L^￥ L^\infty -norm are obtained, according to the values of the p_i p_i 's. The main tool in our approach is the derivation of L^￥ L^\infty -decay estimates for ?(u^a ), a ? (0,1] \nabla\left(u^\alpha \right), \alpha\in (0,1] , by a Bernstein technique inspired by the ones developed by Bénilan for the porous medium equation.     

A linear functional equation with a singularity at a fixed point

Summary. Local solutions of the functional equation¶¶z^k f( z) = ?_k=1ⁿG_k( z) f( s_kz ) +g( z) z{^\kappa} \phi \left( z\right) =\sum_{k=1}^nG_k\left( z\right) \phi \left( s_kz \right) +g\left( z\right) ¶with k > 0 \kappa > 0 and | s_k| \gt 1 \left| s_k\right| \gt 1 are considered. We prove that the equation is solvable if and only if a certain system of k \kappa conditions on G_k (k = 1, 2, ... , n) and g is fulfilled.     

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

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

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