Ergodic theorems with arithmetical weights

We prove that the divisor function d(n) counting the number of divisors of the integer n is a good weighting function for the pointwise ergodic theorem. For any measurable dynamical system (X, A, ν, τ) and any f ∈ L ^p (ν), p > 1, the limit

$$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{\Sigma _{k = 1}^nd\left( k \right)}}\sum\limits_{k = 1}^n {d\left( k \right)f\left( {{\tau ^k}x} \right)} $$

exists ν-almost everywhere. The proof is based on Bourgain’s method, namely the circle method based on the shift model. Using more elementary ideas we also obtain similar results for other arithmetical functions, like the θ(n) function counting the number of squarefree divisors of n and the generalized Euler totient function J _s (n) = Σ _d|n d ^s μ(n/d), s > 0.

     

Hyperbolas over two-dimensional Fibonacci quasilattices

For the number n _s (α, β; X) of points (x ₁ , x ₂) in the two-dimensional Fibonacci quasilattices \( \mathcal{F}_m^2 \) of level m?=?0, 1, 2,… lying on the hyperbola x ₁ ² ? ??αx ₂ ² ?=?β and such that 0?≤?x ₁? ≤?X, x ₂? ≥?0, the asymptotic formula

$ {n_s}\left( {\alpha, \beta; X} \right)\sim {c_s}\left( {\alpha, \beta } \right)\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty $

is established, and the coefficient c _s (α, β) is calculated exactly. Using this, we obtain the following result. Let F _m be the Fibonacci numbers, A _i ∈ \( \mathbb{N} \), i?=?1, 2, and let \( \overleftarrow {{A_i}} \) be the shift of A _i in the Fibonacci numeral system. Then the number n _s (X) of all solutions (A ₁ , A ₂) of the Diophantine system

$ \left\{ {\begin{array}{*{20}{c}} {A_1^2 + \overleftarrow {A_1^2} - 2{A_2}{{\overleftarrow A }_2} + \overleftarrow {A_2^2} = {F_{2s}},} \\ {\overleftarrow {A_1^2} - 2{A_1}{{\overleftarrow A }_1} + A_2^2 - 2{A_2}{{\overleftarrow A }_2} + 2\overleftarrow {A_2^2} = {F_{2s - 1}},} \\ \end{array} } \right. $

0?≤?A ₁? ≤?X, A ₂? ≥?0, satisfies the asymptotic formula

$ {n_s}(X)\sim \frac{{{c_s}}}{{{\text{ar}}\cosh \left( {{{1} \left/ {\tau } \right.}} \right)}}\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty . $

Here τ?=?(?1?+?√5)/2 is the golden ratio, and c _s ?=?1/2 or 1 for s?=?0 or s?≥?1, respectively.

     

Porous Medium Flow with Both a Fractional Potential Pressure and Fractional Time Derivative

The authors study a porous medium equation with a right-hand side. The operator has nonlocal diffusion effects given by an inverse fractional Laplacian operator.The derivative in time is also fractional and is of Caputo-type, which takes into account"memory". The precise model isD_t~αu- div(u(-Δ)~(-σ)u) = f, 0 σ 1/2.This paper poses the problem over {t ∈ R~+, x ∈ R~n} with nonnegative initial data u(0, x) ≥0 as well as the right-hand side f ≥ 0. The existence for weak solutions when f, u(0, x)have exponential decay at infinity is proved. The main result is H¨older continuity for such weak solutions.     

One Approach to the Computation of Asymptotics of Integrals of Rapidly Varying Functions

We consider integrals of the form

$$I\left( {x,h} \right) = \frac{1}{{{{\left( {2\pi h} \right)}^{k/2}}}}\int_{{\mathbb{R}^k}} {f\left( {\frac{{S\left( {x,\theta } \right)}}{h},x,\theta } \right)} d\theta $$

, where h is a small positive parameter and S(x, θ) and f(τ, x, θ) are smooth functions of variables τ ∈ ?, x ∈ ? ⁿ , and θ ∈ ? ^k ; moreover, S(x, θ) is real-valued and f(τ, x, θ) rapidly decays as |τ| →∞. We suggest an approach to the computation of the asymptotics of such integrals as h → 0 with the use of the abstract stationary phase method.

     

Functional equations and Weierstrass sigma-functions

It is proved that if an entire function f: ? → ? satisfies an equation of the form α ₁(x)β ₁(y) + α ₂(x)β ₂(y) + α ₃(x)β ₃(y), x,y ∈ C, for some α _j , β _j : ? → ? and there exist no \({\widetilde \alpha _j}\) and ?\({\widetilde \beta _j}\) for which \(f\left( {x + y} \right)f\left( {x - y} \right) = {\overline \alpha _1}\left( x \right){\widetilde \beta _1}\left( y \right) + {\overline \alpha _2}\left( x \right){\widetilde \beta _2}\left( y \right)\), then f(z) = exp(Az ² + Bz + C) ? σ _Γ(z - z ₁) ? σ _Γ(z - z ₂), where Γ is a lattice in ?; σ _Γ is the Weierstrass sigma-function associated with Γ; A,B,C, z ₁, z ₂ ∈ ?; and \({z_1} - {z_2} \notin \left( {\frac{1}{2}\Gamma } \right)\backslash \Gamma \).     

Compactness of Riesz transform commutator associated with Bessel operators

Let λ > 0 and

$${\Delta _\lambda }: = - \frac{{{d^2}}}{{d{x^2}}} - \frac{{2\lambda }}{x}\frac{d}{{dx}}$$

be the Bessel operator on R₊:= (0,∞). We first introduce and obtain an equivalent characterization of CMO(R₊, x^2λdx). By this equivalent characterization and by establishing a new version of the Fréchet-Kolmogorov theorem in the Bessel setting, we further prove that a function b ∈ BMO(R⁺, x^2λdx) is in CMO(R⁺, x^2λdx) if and only if the Riesz transform commutator xxxx is compact on L^p(R⁺, x^2λdx) for all p ∈ (1,∞).

     

Existence theorems for nonlinear differential equations having trichotomy in banach spaces

We give existence theorems for weak and strong solutions with trichotomy of the nonlinear differential equation

$$\dot x\left( t \right) = \mathcal{L}\left( t \right)x\left( t \right) + f\left( {t,x\left( t \right)} \right),t \in \mathbb{R}$$

(P)

where {?(t): t ∈ R} is a family of linear operators from a Banach space E into itself and f: R × E → E. By L(E) we denote the space of linear operators from E into itself. Furthermore, for a < b and d > 0, we let C([?d, 0],E) be the Banach space of continuous functions from [?d, 0] into E and f ^d : [a, b] × C([?d, 0],E) → E. Let \(\hat {\mathcal{L}}:[a,b] \to L(E)\) be a strongly measurable and Bochner integrable operator on [a, b] and for t ∈ [a, b] define τ _t x(s) = x(t + s) for each s ∈ [?d, 0]. We prove that, under certain conditions, the differential equation with delay

$$\dot x\left( t \right) = \hat {\mathcal{L}}\left( t \right)x\left( t \right) + {f^d}\left( {t,{\tau _t}x} \right),ift \in \left[ {a,b} \right],$$

(Q)

has at least one weak solution and, under suitable assumptions, the differential equation (Q) has a solution. Next, under a generalization of the compactness assumptions, we show that the problem (Q) has a solution too.

     

Existence of solutions for a critical fractional Kirchhoff type problem in ℝ<Superscript><Emphasis Type="Italic">N</Emphasis></Superscript>

This paper concerns with the existence of solutions for the following fractional Kirchhoff problem with critical nonlinearity:

$${\left( {\int {\int {_{{\mathbb{R}^{2N}}}\frac{{{{\left| {u\left( x \right) - u\left( y \right)} \right|}^2}}}{{{{\left| {x - y} \right|}^{N + 2s}}}}dxdy} } } \right)^{\theta - 1}}{\left( { - \Delta } \right)^s}u = \lambda h\left( x \right){u^{p - 1}} + {u^{2_s^* - 1}} in {\mathbb{R}^N},$$

where (?Δ) ^s is the fractional Laplacian operator with 0 < s < 1, 2 _s * = 2N/(N ? 2s), N > 2s, p ∈ (1, 2 _s *), θ ∈ [1, 2 _s */2), h is a nonnegative function and λ a real positive parameter. Using the Ekeland variational principle and the mountain pass theorem, we obtain the existence and multiplicity of solutions for the above problem for suitable parameter λ > 0. Furthermore, under some appropriate assumptions, our result can be extended to the setting of a class of nonlocal integro-differential equations. The remarkable feature of this paper is the fact that the coefficient of fractional Laplace operator could be zero at zero, which implies that the above Kirchhoff problem is degenerate. Hence our results are new even in the Laplacian case.

     

Existence of Nonnegative Solutions for a Class of Systems Involving Fractional (p,q)-Laplacian Operators

The authors study the following Dirichlet problem of a system involving fractional (p, q)-Laplacian operators:

$$\left\{ {\begin{array}{*{20}{c}} {\left( { - \Delta } \right)_p^su = \lambda a\left( x \right){{\left| u \right|}^{p - 2}}u + \lambda b\left( x \right){{\left| u \right|}^{\alpha - 2}}{{\left| v \right|}^\beta }u + \frac{{\mu \left( x \right)}}{{\alpha \delta }}{{\left| u \right|}^{\gamma - 2}}{{\left| v \right|}^\delta }uin\Omega ,} \\ {\left( { - \Delta } \right)_q^sv = \lambda c\left( x \right){{\left| v \right|}^{q - 2}}v + \lambda b\left( x \right){{\left| u \right|}^\alpha }{{\left| v \right|}^{\beta - 2}}v + \frac{{\mu \left( x \right)}}{{\beta \gamma }}{{\left| u \right|}^\gamma }{{\left| v \right|}^{\delta - 2}}vin\Omega ,} \\ {u = v = 0on{\mathbb{R}^N}\backslash \Omega ,} \end{array}} \right.$$

where λ > 0 is a real parameter, Ω is a bounded domain in R ^N , with boundary ?Ω Lipschitz continuous, s ∈ (0, 1), 1 < p ≤ q < ∞, sq < N, while (?Δ) _p ^s u is the fractional p-Laplacian operator of u and, similarly, (?Δ) _q ^s v is the fractional q-Laplacian operator of v. Since possibly p ≠ q, the classical definitions of the Nehari manifold for systems and of the Fibering mapping are not suitable. In this paper, the authors modify these definitions to solve the Dirichlet problem above. Then, by virtue of the properties of the first eigenvalue λ₁ for a related system, they prove that there exists a positive solution for the problem when λ < λ₁ by the modified definitions. Moreover, the authors obtain the bifurcation property when λ → λ₁^-. Finally, thanks to the Picone identity, a nonexistence result is also obtained when λ ≥ λ₁.

     

Conditional exponential stability of a differential system with linear dichotomous Coppel-Conti approximation

We prove the conditional exponential stability of the zero solution of the nonlinear differential system

$$\dot y = A(t)y + f(t,y),{\mathbf{ }}y \in R^n ,{\mathbf{ }}t \geqslant 0,$$

with L ^p -dichotomous linear Coppel-Conti approximation .x = A(t)x whose principal solution matrix X _A (t), X _A (0) = E, satisfies the condition

$$\mathop \smallint \limits_0^t \left\| {X_A (t)P_1 X_A^{ - 1} (\tau )} \right\|^p d\tau + \mathop \smallint \limits_t^{ + \infty } \left\| {X_A (t)P_2 X_A^{ - 1} (\tau )} \right\|^p d\tau \leqslant C_p (A) < + \infty ,{\mathbf{ }}p \geqslant 1,{\mathbf{ }}t \geqslant 0,$$

where P ₁ and P ₂ are complementary projections of rank k ∈ {1, …, n ? 1} and rank n ? k, respectively, and with a higher-order infinitesimal perturbation f:[0, ∞) × U → R ⁿ that is piecewise continuous in t ≥ 0 and continuous in y in some neighborhood U of the origin.

     

Isometries and Hermitian operators on complex symmetric sequence spaces

We consider a complex symmetric sequence space E that possesses the Fatou property and is different from l₂. We prove that, for every surjective linear isometry V on E, there exist λ _n ∈ ? with |λ _n | = 1 and a bijective mapping π on the set ? of natural numbers such that

$$V\left( {\left\{ {\xi _n } \right\}_{n \in \mathbb{N}} } \right) = \left\{ {\lambda _n \xi _{\pi (n)} } \right\}_{n \in \mathbb{N}}$$

for every {ξ _n {_n∈? ∈ E.

     

Bi-Lipschitz bijection between the Boolean cube and the Hamming ball

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n ∈ N there exists an explicit bijection ψ: {0, 1}ⁿ → {x ∈ {0, 1}ⁿ⁺¹ : |x| > n/2} such that for every x ≠ y ∈ {0, 1}ⁿ, \(\frac{1}{5} \leqslant \frac{{dis\tan ce\left( {\psi \left( x \right),\psi \left( y \right)} \right)}}{{dis\tan ce\left( {x,y} \right)}} \leqslant 4,\) where distance(·, ·) denotes the Hamming distance. In particular, this implies that the Hamming ball is bi-Lipschitz transitive.     

The exceptional set for Diophantine inequality with unlike powers of prime variables

Suppose that λ₁, λ₂, λ₃, λ₄ are nonzero real numbers, not all negative, δ > 0, V is a well-spaced set, and the ratio λ₁/λ₂ is algebraic and irrational. Denote by E(V,N, δ) the number of v ∈ V with v ≤ N such that the inequality

$$\left| {{\lambda _1}p_1^2 + {\lambda _2}p_2^3 + {\lambda _3}p_3^4 + {\lambda _4}p_4^5 - \upsilon } \right| < {\upsilon ^{ - \delta }}$$

has no solution in primes p₁, p₂, p₃, p₄. We show that

$$E\left( {\upsilon ,N,\delta } \right) \ll {N^{1 + 2\delta - 1/72 + \varepsilon }}$$

for any ? > 0.

     

On convex hull of Gaussian samples

Let X _i = {X _i (t), t ∈ T} be i.i.d. copies of a centered Gaussian process X = {X(t), t ∈ T} with values in\( {\mathbb{R}^d} \) defined on a separable metric space T. It is supposed that X is bounded. We consider the asymptotic behavior of convex hulls

$ {W_n} = {\text{conv}}\left\{ {{X_1}(t), \ldots, {X_n}(t),\,\,t \in T} \right\} $

and show that, with probability 1,

$ \mathop {{\lim }}\limits_{n \to \infty } \frac{1}{{\sqrt {{2\ln n}} }}{W_n} = W $

(in the sense of Hausdorff distance), where the limit shape W is defined by the covariance structure of X: W = conv{K _t , t ∈ T}, Kt being the concentration ellipsoid of X(t). We also study the asymptotic behavior of the mathematical expectations E f(W _n ), where f is an homogeneous functional.

     

Invariant random subgroups of linear groups

Let Γ < GL _n (_F) be a countable non-amenable linear group with a simple, center free Zariski closure. Let Sub(Γ) denote the space of all subgroups of Γ with the compact, metric, Chabauty topology. An invariant random subgroup (IRS) of Γ is a conjugation invariant Borel probability measure on Sub(Γ). An IRS is called non-trivial if it does not have an atom in the trivial group, i.e. if it is non-trivial almost surely. We denote by IRS⁰(Γ) the collection of all non-trivial IRS on Γ.

Theorem 0.1: With the above notation, there exists a free subgroup F < Γ and a non-discrete group topology on Γ such that for every μ ∈ IRS⁰(Γ) the following properties hold:

μ-almost every subgroup of Γ is open

• F ·Δ = Γ for μ-almost every Δ ∈ Sub(Γ).
• F ∩ Δ is infinitely generated, for every open subgroup. In particular, this holds for μ-almost every Δ ∈ Sub(Γ).
• The map

Φ: (Sub(Γ), μ) → (Sub(F),Φ*μ) Δ → Δ ∩ F is an F-invariant isomorphism of probability spaces.A more technical version of this theorem is valid for general countable linear groups. We say that an action of Γ on a probability space, by measure preserving transformations, is almost surely non-free (ASNF) if almost all point stabilizers are non-trivial.Corollary 0.2: Let Γ be as in the Theorem above. Then the product of finitely many ASNF Γ-spaces, with the diagonal Γ action, is ASNF.Corollary 0.3: Let Γ < GL_n(F) be a countable linear group, A Δ Γ the maximal normal amenable subgroup of Γ — its amenable radical. If μ ∈ IRS(Γ) is supported on amenable subgroups of Γ, then in fact it is supported on Sub(A). In particular, if A(Γ) = <e> then Δ = <e>, μ almost surely.     

Output stabilization for a class of uncertain systems

The system

$$\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u,{\kern 1pt} \frac{{dy}}{{dt}} = A\left( \cdot \right)y + B\left( \cdot \right)u + D\left( {C*y - v} \right)$$

where v = C*x is an output, u = S*y is a control, A(·) ∈ R ^{n × n} , B(·) ∈ R ^{n × (n–p)}, C ∈ R ^{n × (n–p)}, and D ∈ R ^{n × (n–p)}, is considered. The elements α_ij(·) and β_ij(·) of the matrices A(·) and B(·) are arbitrary functionals satisfying the conditions

$$\mathop {\sup }\limits_{\left( \cdot \right)} |{\alpha _{ij}}\left( \cdot \right)| < \infty \left( {i,j \in 1,n} \right),\mathop {\sup }\limits_{\left( \cdot \right)} |{\beta _{ij}}\left( \cdot \right)| < \infty \left( {i \in 1,n,j \in 1,n - p} \right).$$

It is assumed that A(·) ∈ Z ₁ ∪ Z ₃ and A*(·) ∈ Z ₁ ∪ Z ₃, where Z ₁ is the class of matrices in which the first p elements of the kth superdiagonal are sign-definite and the elements above them are sufficiently small. The class Z ₃ differs from Z _t1 in that the elements between this superdiagonal and the (k + 1)th row are sufficiently small. If k > p, then the elements of the p × p square in the upper left corner of the matrix are sufficiently small as well. By using special quadratic Lyapunov functions, a matrix D for which y(t)–x(t) → 0 exponentially as t → ∞ is first found, and then a matrix S for which the vectors x(t) and y(t) have the same property is constructed.

     

Heat Kernels of Non-symmetric Jump Processes: Beyond the Stable Case

Let J be the Lévy density of a symmetric Lévy process in \(\mathbb {R}^{d}\) with its Lévy exponent satisfying a weak lower scaling condition at infinity. Consider the non-symmetric and non-local operator

$$\mathcal{L}^{\kappa}f(x):= \lim_{{\varepsilon} \downarrow 0} {\int}_{\{z \in \mathbb{R}^{d}: |z|>{\varepsilon}\}} (f(x+z)-f(x))\kappa(x,z)J(z)\, dz\, , $$

where κ(x, z) is a Borel function on \(\mathbb {R}^{d}\times \mathbb {R}^{d}\) satisfying 0 < κ ₀ ≤ κ(x, z) ≤ κ ₁, κ(x, z) = κ(x,?z) and |κ(x, z) ? κ(y, z)|≤ κ ₂|x ? y| ^β for some β ∈ (0, 1]. We construct the heat kernel p ^κ (t, x, y) of \(\mathcal {L}^{\kappa }\), establish its upper bound as well as its fractional derivative and gradient estimates. Under an additional weak upper scaling condition at infinity, we also establish a lower bound for the heat kernel p ^κ .

     

Reconstructing a matrix from a partial sampling of Pareto eigenvalues

Let Λ={λ ₁,…,λ _p } be a given set of distinct real numbers. This work deals with the problem of constructing a real matrix A of order n such that each element of Λ is a Pareto eigenvalue of A, that is to say, for all k∈{1,…,p} the complementarity system

$x\geq \mathbf{0}_n,\quad Ax-\lambda_k x\geq \mathbf{0}_n,\quad \langle x, Ax-\lambda_k x\rangle = 0$

admits a nonzero solution x∈? ⁿ .

     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.