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.     

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.     

Multiple solutions for a superlinear and periodic elliptic system on \mathbbRN{\mathbb{R}^N}

This paper is concerned with the following periodic Hamiltonian elliptic system

Moser's second one-dimensional inequality for a class of integral operators

Suppose that $1 < p < \infty $1 < p < \infty , q=p/(p-1)q=p/(p-1), and for non-negative f ? L^p(-￥ ,￥)f\in L^p(-\infty\! ,\infty ) and any real x we let F(x)-F(0)=ò₀^xf(t) dtF(x)-F(0)=\int _0^xf(t)\ dt; suppose in addition that ò_-￥^￥ F(t)exp(-|t|) dt=0\int\limits _{-\infty }^\infty F(t)\exp (-|t|)\ dt=0. Moser's second one-dimensional inequality states that there is a constant C_pC_p, such that ò_-￥^￥ exp[a |F(x)|^q-|x|]  dx ￡ C_p\int\limits _{-\infty }^\infty \exp [a |F(x)|^q-|x|] \ dx\le C_p for each f with ||f||_p ￡ 1||f||_p\le 1 and every a ￡ 1a\le 1. Moreover the value a = 1 is sharp. We replace the operation connecting f with F by a more general integral operation; specifically we consider non-negative kernels K(t,x) with the property that xK(t,x) is homogeneous of degree 0 in t, x. We state an analogue of the inequality above for this situation, discuss some applications and consider the sharpness of the constant which replaces a.     

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 a singular elliptic problem involving critical growth in {\mathbb{R}^{\bf N}}

In this paper, we prove a suitable Trudinger–Moser inequality with a singular weight in \mathbbR^N{\mathbb{R}^N} and as an application of this result, using the mountain-pass theorem we establish sufficient conditions for the existence of nontrivial solutions to quasilinear elliptic partial differential equations of the form

On the selfsimilar solutions of a diffusion convection equation

This paper is concerned with the equation¶¶ div(| ?u| ^p-2?u)+e| ?U| ^q+bx?U+aU=0, for  x ? \mathbbR^N div(| \nabla u| ^{p-2}\nabla u)+\varepsilon \left| \nabla U\right| ^q+\beta x\nabla U+\alpha U=0,{\rm \ for}\;x\in \mathbb{R}^N ¶¶ where $ p>2,\;q\geq 1,\;N\geq 1, \quad\varepsilon =\pm 1 $ p>2,\;q\geq 1,\;N\geq 1, \quad\varepsilon =\pm 1 and a,b, m \alpha ,\beta, \mu are positive parameters. We study the existence, uniqueness of radial solutions u(r). Also, qualitative behavior of u(r) are presented.     

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 groups acting freely on a tree

Suppose we are given a group G\mit\Gamma and a tree X on which G\mit\Gamma acts. Let d be the distance in the tree. Then we are interested in the asymptotic behavior of the numbers a_d: = # {w ? vertX : w=gv, g ? G , d(v₀,w)=d }a_d:= \# \{w\in {\rm {vert}}X : w=\gamma {v}, \gamma \in {\mit\Gamma} , d({v}_0,w)=d \} if d? ￥d\rightarrow \infty , where v, v_o are some fixed vertices in X.¶ In this paper we consider the case where G\mit\Gamma is a finitely generated group acting freely on a tree X. The growth function ?a_d x^d\textstyle\sum\limits a_d x^d is a rational function [3], which we describe explicitely. From this we get estimates for the radius of convergence of the series. For the cases where G\mit\Gamma is generated by one or two elements, we look a little bit closer at the denominator of this rational function. At the end we give one concrete example.     

Cleaning Random d-Regular Graphs with Brooms

A model for cleaning a graph with brushes was recently introduced. Let α = (v ₁, v ₂, . . . , v _n ) be a permutation of the vertices of G; for each vertex v _i let ${N^+(v_i)=\{j: v_j v_i \in E {\rm and} j>\,i\}}${N^+(v_i)=\{j: v_j v_i \in E {\rm and} j>\,i\}} and N^-(v_i)={j: v_j v_i ? E and j <  i}{N^-(v_i)=\{j: v_j v_i \in E {\rm and} j<\,i\}} ; finally let b_a(G)=?_i=1ⁿ max{|N⁺(v_i)|-|N^-(v_i)|,0}{b_{\alpha}(G)=\sum_{i=1}^n {\rm max}\{|N^+(v_i)|-|N^-(v_i)|,0\}}. The Broom number is given by B(G) =  max _α b _α (G). We consider the Broom number of d-regular graphs, focusing on the asymptotic number for random d-regular graphs. Various lower and upper bounds are proposed. To get an asymptotically almost sure lower bound we use a degree-greedy algorithm to clean a random d-regular graph on n vertices (with dn even) and analyze it using the differential equations method (for fixed d). We further show that for any d-regular graph on n vertices there is a cleaning sequence such at least n(d + 1)/4 brushes are needed to clean a graph using this sequence. For an asymptotically almost sure upper bound, the pairing model is used to show that at most n(d+2?{d ln2})/4{n(d+2\sqrt{d \ln 2})/4} brushes can be used when a random d-regular graph is cleaned. This implies that for fixed large d, the Broom number of a random d-regular graph on n vertices is asymptotically almost surely \fracn4(d+Q(?d)){\frac{n}{4}(d+\Theta(\sqrt{d}))}.     

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

An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

Complex finitary simple Lie algebras

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over an algebraically closed field of zero characteristic. It is shown that any such algebra is isomorphic to one of the following¶ (1) a special transvection algebra \frak t(V,P)\frak t(V,\mit\Pi );¶ (2) a finitary orthogonal algebra \frak fso (V,q)\frak {fso} (V,q); ¶ (3) a finitary symplectic algebra \frak fsp (V,s)\frak {fsp} (V,s).¶Here V is an infinite dimensional K-space; q (respectively, s) is a symmetric (respectively, skew-symmetric) nondegenerate bilinear form on V; and P\Pi is a subspace of the dual V^* whose annihilator in V is trivial: 0={v ? V | Pv=0}0=\{{v}\in V\mid \Pi {v}=0\}.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

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.     

A note on discrete heat conduction

If the longitudinal line method is applied to the Cauchy problem u_t = u_xx, u(0, x) = u₀(x) with a bounded function u₀, one is led to a linear initial value problem v￠(t)=A v(t), v(0)=wv'(t)=A v(t),\, v(0)=w in l^￥ (\Bbb Z)l^\infty (\Bbb Z). Using Banach limit techniques we study the asymptotic behaviour of the solutions of these problems as t tends to infinity.     

Funktionen, deren Maxima eine asymptotisch konstante Folge bilden

Es sei M₁ die Klasse der reellwertigen Funktionen f derart, daß lim_{tk? ￥} |f(t_k)| = c\lim \limits _{t_k\to \infty } |f(t_k)| = c gilt, wobei |f(t_k)||f(t_k)| die lokalen Maxima von | f | und c = c (f) eine positive Konstante ist. Diese Klasse tritt häufig im Zusammenhang mit Differentialgleichungen auf und ist kürzlich Gegenstand von mehreren Arbeiten geworden. Oft gelingt es, nur mf ? M₁mf \in M_1 mit einer passenden Funktion m ~ 1m\sim 1 zu zeigen, und es erhebt sich die Frage, ob daraus f ? M₁f \in M_1 folgt. Diese Frage wird hier für eine Unterklasse M ì M₁M \subset M_1 untersucht. Unsere Ergebnisse füllen eine Lücke in früheren Arbeiten und sind unserer Meinung nach auch für sich selbst von Interesse.     

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

Diameter preserving linear maps and isometries

We study linear bijections of C(X) which preserve the diameter of the range, that is, the seminorm r(f)=sup{|f(x)-f(y)| : x, y ? X}\varrho (f)={\rm sup}\{|f(x)-f(y)| : x, y\in X\}.