One-radius results for supermedian functions on {\mathbb R^d} , d ≤ 2

A classical result states that every lower bounded superharmonic function on ${\mathbb{R}^{2}}$ is constant. In this paper the following (stronger) one-circle version is proven. If ${f : \mathbb{R}^{2} \to (-\infty,\infty]}$ is lower semicontinuous, lim inf_|x|→∞ f (x)/ ln |x| ≥ 0, and, for every ${x \in \mathbb{R}^{2}}$ , ${1/(2\pi) \int_0^{2\pi} f(x + r(x)e^{it}) \, dt \le f(x)}$ , where ${r : \mathbb{R}^{2} \to (0,\infty)}$ is continuous, ${{\rm sup}_{x \in \mathbb{R}^{2}} (r(x) - |x|) < \infty},$ , and ${{\rm inf}_{x \in \mathbb{R}^{2}} (r(x)-|x|)=-\infty}$ , then f is constant. Moreover, it is shown that, assuming r ≤ c| · | + M on ${\mathbb{R}^d}$ , d ≤ 2, and taking averages on ${\{y \in \mathbb{R}^{d} : |y-x| \le r(x)\}}$ , such a result of Liouville type holds for supermedian functions if and only if c ≤ c ₀, where c ₀ = 1, if d = 2, whereas 2.50 < c ₀ < 2.51, if d = 1.     

Classification of rotational special Weingarten surfaces of minimal type in {\mathbb{S}^2 \times \mathbb{R}} and {\mathbb{H}^2 \times \mathbb{R}}

In this paper we classify the complete rotational special Weingarten surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ ; i.e. rotational surfaces in ${\mathbb{S}^2 \times \mathbb{R}}$ and ${\mathbb{H}^2 \times \mathbb{R}}$ whose mean curvature H and extrinsic curvature K _e satisfy H = f(H ² ? K _e ), for some function ${f \in \mathcal{C}^1([0,+\infty))}$ such that f(0) = 0 and 4x(f′(x))² < 1 for any x ≥ 0. Furthermore we show the existence of non-complete examples of such surfaces.     

Absolute convergence of double Walsh?CFourier series and related results

We consider the double Walsh orthonormal system $$\{w_m(x)w_n(y):\, m,n \in \mathbb{N}\}$$ on the unit square $\mathbb{I}^{2}$ , where {w _m (x)} is the ordinary Walsh system on the unit interval $\mathbb{I}:=[0,1)$ in the Paley enumeration. Our aim is to give sufficient conditions for the absolute convergence of the double Walsh?CFourier series of a function $f \in L^{p}(\mathbb{I}^{2})$ for some 1<p?Q2. More generally, we give best possible sufficient conditions for the finiteness of the double series $$\sum_{m=1}^{\infty}\ \sum_{n=1}^{\infty} a_{mn} {|\hat{f}(m,n)|}^r,$$ where {a _mn } is a given double sequence of nonnegative real numbers satisfying a mild assumption and 0<r<2. These sufficient conditions are formulated in terms of (either global or local) dyadic moduli of continuity of?f.     

Existence and asymptotic behaviour of solutions of the very fast diffusion equation

Let n ≥ 3, 0 < m ≤ (n ? 2)/n, p > max(1, (1 ? m)n/2), and ${0 \le u_0 \in L_{loc}^p(\mathbb{R}^n)}$ satisfy ${{\rm lim \, inf}_{R\to\infty}R^{-n+\frac{2}{1-m}} \int_{|x|\le R}u_0\,dx = \infty}$ . We prove the existence of unique global classical solution of u _t = Δu ^m , u > 0, in ${\mathbb{R}^n \times (0, \infty), u(x, 0) = u_0(x)}$ in ${\mathbb{R}^n}$ . If in addition 0 < m < (n ? 2)/n and u ₀(x) ≈ A|x|^?q as |x| → ∞ for some constants A > 0, q < n/p, we prove that there exist constants α, β, such that the function v(x, t) = t ^α u(t ^β x, t) converges uniformly on every compact subset of ${\mathbb{R}^n}$ to the self-similar solution ψ(x, 1) of the equation with ψ(x, 0) = A|x|^?q as t → ∞. Note that when m = (n ? 2)/(n + 2), n ≥ 3, if ${g_{ij} = u^{\frac{4}{n+2}}\delta_{ij}}$ is a metric on ${\mathbb{R}^n}$ that evolves by the Yamabe flow ?g _ij /?t = ?Rg _ij with u(x, 0) = u ₀(x) in ${\mathbb{R}^n}$ where R is the scalar curvature, then u(x, t) is a global solution of the above fast diffusion equation.     

On the asymptotic behavior of the solutions of semilinear nonautonomous equations

We consider nonautonomous semilinear evolution equations of the form $$\frac{dx}{dt}= A(t)x+f(t,x) . $$ Here A(t) is a (possibly unbounded) linear operator acting on a real or complex Banach space $\mathbb{X}$ and $f: \mathbb{R}\times\mathbb {X}\to\mathbb{X}$ is a (possibly nonlinear) continuous function. We assume that the linear equation (1) is well-posed (i.e. there exists a continuous linear evolution family {U(t,s)}_(t,s)∈Δ such that for every s∈?₊ and x∈D(A(s)), the function x(t)=U(t,s)x is the uniquely determined solution of Eq. (1) satisfying x(s)=x). Then we can consider the mild solution of the semilinear equation (2) (defined on some interval [s,s+δ),δ>0) as being the solution of the integral equation $$x(t) = U(t, s)x + \int_s^t U(t, \tau)f\bigl(\tau, x(\tau)\bigr) d\tau,\quad t\geq s . $$ Furthermore, if we assume also that the nonlinear function f(t,x) is jointly continuous with respect to t and x and Lipschitz continuous with respect to x (uniformly in t∈?₊, and f(t,0)=0 for all t∈?₊) we can generate a (nonlinear) evolution family {X(t,s)}_(t,s)∈Δ , in the sense that the map $t\mapsto X(t,s)x:[s,\infty)\to\mathbb{X}$ is the unique solution of Eq. (4), for every $x\in\mathbb{X}$ and s∈?₊. Considering the Green’s operator $(\mathbb{G}{f})(t)=\int_{0}^{t} X(t,s)f(s)ds$ we prove that if the following conditions hold

• the map $\mathbb{G}{f}$ lies in $L^{q}(\mathbb{R}_{+},\mathbb{X})$ for all $f\in L^{p}(\mathbb{R}_{+},\mathbb{X})$ , and
• $\mathbb{G}:L^{p}(\mathbb{R}_{+},\mathbb{X})\to L^{q}(\mathbb {R}_{+},\mathbb{X})$ is Lipschitz continuous, i.e. there exists K>0 such that $$\|\mathbb{G} {f}-\mathbb{G} {g}\|_{q} \leq K\|f-g\|_{p} , \quad\mbox{for all}\ f,g\in L^p(\mathbb{R}_+,\mathbb{X}) , $$

then the above mild solution will have an exponential decay.     

Discrete fractal dimensions of the ranges of random walks in {{\mathbb Z}^d} associate with random conductances

Let ${X= \{X_t, t \ge 0\}}$ be a continuous time random walk in an environment of i.i.d. random conductances ${\{\mu_e \in [1,\infty), e \in E_d\}}$ , where E _d is the set of nonoriented nearest neighbor bonds on the Euclidean lattice ${\mathbb{Z}^d}$ and d ≥ 3. Let ${{\rm R} = \{x \in \mathbb{Z}^d: X_t = x {\rm \,for\, some}\,t \ge 0\}}$ be the range of X. It is proved that, for almost every realization of the environment, dim_H R = dim_P R = 2 almost surely, where dim_H and dim_P denote, respectively, the discrete Hausdorff and packing dimension. Furthermore, given any set ${A \subseteq \mathbb{Z}^d}$ , a criterion for A to be hit by X _t for arbitrarily large t > 0 is given in terms of dim_H A. Similar results for Bouchoud’s trap model in ${\mathbb{Z}^d}$ (d ≥ 3) are also proven.     

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

Chebyshev's inequalities for functions monotone in the mean

LetR be the reals ≥ 0. LetF be the set of mapsf: {1, 2, ?,n} →R. Choosew ∈ F withw _i = w(i) > 0. PutW _i = w₁ + ? + w_i. Givenf ∈ F, define \(\bar f\) ∈F by $$\bar f\left( i \right) = \frac{{\left\{ {w_i f\left( 1 \right) + \ldots + w_i f\left( i \right)} \right\}}}{{W_i }}.$$ Callf mean increasing if \(\bar f\) is increasing. Letf ₁, ?, f_t be mean decreasing andf _t+1,?: f_t+u be mean increasing. Put $$k = W_n^u \min \left\{ {w_i^{u - 1} W_i^{t - u} } \right\}.$$ Then $$k\mathop \sum \limits_{i = 1}^n w_i f_1 \left( i \right) \ldots f_{t + u} \left( i \right) \leqslant \mathop \prod \limits_{j = 1}^{t + u} (\mathop \sum \limits_{i = 1}^n w_i f_1 (i)).$$      

Nash equilibria on topological semilattices

A function ${u : X \to \mathbb{R}}$ defined on a partially ordered set is quasi-Leontief if, for all ${x \in X}$ , the upper level set ${\{x\prime \in X : u(x\prime) \geq u(x)\}}$ has a smallest element; such an element is an efficient point of u. An abstract game ${u_{i} : \prod^{n}_{j=1} X_j \to \mathbb{R}, i \in \{1, \ldots , n\}}$ , is a quasi-Leontief game if, for all i and all ${(x_{j})_{j \neq i} \in \prod_{j \neq i} X_{j}, u_{i}((x_{j})_{j \neq i};-) : X_{i} \to \mathbb{R}}$ is quasi-Leontief; a Nash equilibrium x* of an abstract game ${u_{i} :\prod^{n}_{j=1} X_{j} \to \mathbb{R}}$ is efficient if, for all ${i, x^{*}_{i}}$ is an efficient point of the partial function ${u_{i}((x^{*}_{j})_{j \neq i};-) : X_{i} \to \mathbb{R}}$ . We establish the existence of efficient Nash equilibria when the strategy spaces X _i are topological semilattices which are Peano continua and Lawson semilattices.     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Metrization of Weighted Graphs

We find a set of necessary and sufficient conditions under which the weight ${w: E \rightarrow \mathbb{R}^{+}}$ on the graph G = (V, E) can be extended to a pseudometric ${d : V \times V \rightarrow \mathbb{R}^{+}}$ . We describe the structure of graphs G for which the set ${\mathfrak{M}_{w}}$ of all such extensions contains a metric whenever w is strictly positive. Ordering ${\mathfrak{M}_{w}}$ by the pointwise order, we have found that the posets $({\mathfrak{M}_{w}, \leqslant)}$ contain the least elements ρ _0,w if and only if G is a complete k-partite graph with ${k \, \geqslant \, 2}$ . In this case the symmetric functions ${f : V \times V \rightarrow \mathbb{R}^{+}}$ , lying between ρ _0,w and the shortest-path pseudometric, belong to ${\mathfrak{M}_{w}}$ for every metrizable w if and only if the cardinality of all parts in the partition of V is at most two.     

On Isomorphisms of Hardy Spaces Associated with Schrödinger Operators

Let L=?Δ+V is a Schrödinger operator on $\mathbb{R}^{d}$ , d≥3, V≥0. Let $H^{1}_{L}$ denote the Hardy space associated with L. We shall prove that there is an L-harmonic function w, 0<δ≤w(x)≤C, such that the mapping $$H_L^1 \ni f\mapsto wf\in H^1\bigl(\mathbb{R}^d\bigr) $$ is an isomorphism from the Hardy space $H_{L}^{1}$ onto the classical Hardy space $H^{1}(\mathbb{R}^{d})$ if and only if $\Delta^{-1}V(x)=-c_{d}\int_{\mathbb{R}^{d}} |x-y|^{2-d} V(y) dy$ belongs to $L^{\infty}(\mathbb{R}^{d})$ .     

A Liouville comparison principle for sub- and super-solutions of the equation w t −Δ p (w) = |w| q-1 w

We establish a Liouville comparison principle for entire weak sub- and super-solutions of the equation (*) w _t ?Δ _p (w) =  |w| ^q-1 w in the half-space ${\mathbb {S}= \mathbb {R}^1_+\times \mathbb {R}^n}$ , where n ≥ 1, q > 0, and ${ \Delta_p(w) := {\rm div}_x \left(|\nabla_x w|^{p-2}\nabla_x w \right)}$ , 1 < p ≤ 2. In our study we impose neither restrictions on the behaviour of entire weak sub- and super-solutions of (*) on the hyper-plane t = 0, nor any growth conditions on their behaviour and on that of any of their partial derivatives at infinity. We prove that if ${1< q \leq p-1+\frac {p}{n}}$ and u and v are, respectively, an entire weak super-solution and an entire weak sub-solution of (*) in ${\mathbb {S}}$ which belong, only locally in ${\mathbb {S}}$ , to the corresponding Sobolev space and are such that u ≥  v, then u ≡ v. The result is sharp. As direct corollaries we obtain known Fujita-type and Liouville-type theorems.     

Circulation of lifted processes on trivial principal bundles

A Brownian motion {x _t } _t?0 on a compact Riemannian manifold M with a drift vector field X can be lifted to a diffusion process $\left\{ {\tilde x_t } \right\}_{t \ge 0} $ on M × T^k corresponding to an ?^k valued smooth differential one-form A on M. The circulations (rotation numbers) of the lifted process $\left\{ {\tilde x_t } \right\}_{t \ge 0} $ around the k circles of T^k are studied. By choosing a certain ?^k -valued differential one-form A, these circulations give the hidden circulation of {x _t } _t?0 in M and the rotation numbers of {x _t } _t?0 around some closed curves in M which generalize the first homology group H₁(M,?) of M.     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Lower and upper bounds of Dirichlet eigenvalues for totally characteristic degenerate elliptic operators

Let λkbe the k-th Dirichlet eigenvalue of totally characteristic degenerate elliptic operator-ΔB defined on a stretched cone B0 ■ [0,1) × X with boundary on {x1 = 0}. More precisely,ΔB=(x1αx1)2+ α2x2+ + α2xnis also called the cone Laplacian. In this paper,by using Mellin-Fourier transform,we prove thatλk Cnk2 n for any k 1,where Cn=(nn+2)(2π)2(|B0|Bn)-2n,which gives the lower bounds of the Dirchlet eigenvalues of-ΔB. On the other hand,by using the Rayleigh-Ritz inequality,we deduce the upper bounds ofλk,i.e.,λk+1 1 +4n k2/nλ1. Combining the lower and upper bounds of λk,we can easily obtain the lower bound for the first Dirichlet eigenvalue λ1 Cn(1 +4n)-12n2.     

Shrinking target problems for beta-dynamical system

For any β>1,let([0,1],Tβ) be the beta dynamical system.For a positive function ψ:N→R+ and a real number x0 ∈[0,1],we define D(Tβ,ψ,x0) the set of ψ-well approximable points by x0as {x∈[0,1]:|Tβnx-x0|<ψ(n) for infinitely many n∈N}.In this note,by proving a structure lemma that any ball B(x,r) contains a regular cylinder of comparable length with r,we determine the Hausdorff dimension of the set D(Tβ,ψ,x0) completely for any β>1 and any positive function ψ.     

On the measurable solutions of a functional equation

The measurable solutions ${f:\mathbb{R}^{3}\setminus\{0\}\to\mathbb{C}\setminus\{0\}\, {\rm and}\, (t,s)\mapsto G(t,s)\in\mathbb{C}\setminus\{0\},\, s\in\mathbb{R}^{3},\, t>|s| >0 }$ of the functional equation $$f(x)f(y)=G\left(|x|+|y|,x+y\right),\quad x,y\in\mathbb{R}^{3}, x\times y\neq 0$$ are considered and it is proved that they are continuous.