Generalized induced norms

Let ‖·‖ be a norm on the algebra ?_n of all n × n matrices over ?. An interesting problem in matrix theory is that “Are there two norms ‖·‖₁ and ‖·‖₂ on ?_n such that ‖A‖ = max|‖Ax‖₂: ‖x‖₁ = 1} for all A ∈ ?_n?” We will investigate this problem and its various aspects and will discuss some conditions under which ‖·‖₁ = ‖·‖₂.     

Variational Problems with Unilateral Pointwise Functional Constraints in Variable Domains

We consider a sequence of convex integral functionals F_s: W¹,^p(Ω_s) → ? and a sequence of weakly lower semicontinuous and generally nonintegral functionals G_s: W¹,^p(Ω_s) → ?, where {Ω_s} is a sequence of domains in ?ⁿ contained in a bounded domain Ω ? ?ⁿ (n ≥ 2) and p > 1. Along with this, we consider a sequence of closed convex sets V_s = {v ∈ W¹,^p(Ω_s): v ≥ K_s(v) a.e. in Ω_s}, where K_s is a mapping from the space W¹,^p(Ω_s) to the set of all functions defined on Ω_s. We establish conditions under which minimizers and minimum values of the functionals F_s + G_s on the sets V_s converge to a minimizer and the minimum value of a functional on the set V = {v ∈ W¹,^p(Ω): v ≥ K(v) a.e. in Ω}, where K is a mapping from the space W¹,^p(Ω) to the set of all functions defined on Ω. These conditions include, in particular, the strong connectedness of the spaces W¹,^p(Ω_s) with the space W¹,^p(Ω), the condition of exhaustion of the domain Ω by the domains Ω_s, the Γ-convergence of the sequence {F_s} to a functional F: W¹,^p(Ω) → ?, and a certain convergence of the sequence {G_s} to a functional G: W¹,^p(Ω) → ?. We also assume some conditions characterizing both the internal properties of the mappings K_s and their relation to the mapping K. In particular, these conditions admit the study of variational problems with irregular varying unilateral obstacles and with varying constraints combining the pointwise dependence and the functional dependence of the integral form.     

Long time small solutions to nonlinear parabolic equations

A sharp result on global small solutions to the Cauchy problem $$u_t = \Delta u + f\left( {u,Du,D^2 u,u_t } \right)\left( {t > 0} \right),u\left( 0 \right) = u_0 $$ In Rⁿ is obtained under the the assumption thatf is C^1+r forr>2/n and ‖u ₀‖C²(R ⁿ ) +‖u ₀‖W ₁ ² (R ⁿ ) is small. This implies that the assumption thatf is smooth and ‖u ₀ ‖W ₁ ^k (R ⁿ )+‖u ₀‖W ₂ ^k (R ⁿ ) is small fork large enough, made in earlier work, is unnecessary.     

Nonlinear trigonometric approximations of multivariate function classes

Order-sharp estimates are established for the best N-term approximations of functions from Nikol’skii–Besov type classes B_pq^sm(T^k) with respect to the multiple trigonometric system T^(k) in the metric of L_r(T^k) for a number of relations between the parameters s, p, q, r, and m (s = (s₁,..., s_n) ∈ R₊ⁿ, 1 ≤ p, q, r ≤ ∞, m = (m₁,..., m_n) ∈ Nⁿ, k = m₁ +... + m_n). Constructive methods of nonlinear trigonometric approximation—variants of the so-called greedy algorithms—are used in the proofs of upper estimates.     

On the boundedness of generalized solutions of higher-order nonlinear elliptic equations with data from an Orlicz–Zygmund class

In the present paper, a 2mth-order quasilinear divergence equation is considered under the condition that its coefficients satisfy the Carathéodory condition and the standard conditions of growth and coercivity in the Sobolev space W^m,p(Ω), Ω ? Rⁿ, p > 1. It is proved that an arbitrary generalized (in the sense of distributions) solution u ∈ W₀^m,p (Ω) of this equation is bounded if m ≥ 2, n = mp, and the right-hand side of this equation belongs to the Orlicz–Zygmund space L(log L)^n?1(Ω).     

The weighted Hardy spaces associated to self-adjoint operators and their duality on product spaces

Let L be a non-negative self-adjoint operator acting on L²(R ⁿ ) satisfying a pointwise Gaussian estimate for its heat kernel. Let w be an A _r weight on R ⁿ × R ⁿ , 1 < r < ∞. In this article we obtain a weighted atomic decomposition for the weighted Hardy space H _L,w ^p (R ⁿ ×R ⁿ ), 0 < p ≤ 1 associated to L. Based on the atomic decomposition, we show the dual relationship between H _L,w ¹ (R ⁿ × R ⁿ ) and BMO_L,w(R ⁿ × R ⁿ ).     

Equalities on the number of conjugacy classes of the Sylow p-subgroups of GL(n,q)

We denote by Gn the group of the upper unitriangular matrices over F_q, the finite field with q = p^t elements, and r(G_n) the number of conjugacy classes of G_n. In this paper, we obtain the value of r(G_n) modulo (q² -1)(q -1). We prove the following equalities     

Estimates for the Involution of Decomposable Elements of a Complex Banach Algebra

An element a of a complex Banach algebra with unit \(1I\) and with standard conditions on the norm (‖ab‖ ? ‖a‖ · ‖b‖ and ‖\(1I\)‖ = 1) is said to be Hermitian if ‖e ^ita ‖ = 1 for any real number t. An element is said to be decomposable if it admits a representation of the form a + ib in which a and b are Hermitian. The decomposable elements form a Banach Lie algebra (with respect to the commutator). The Hermitian components are determined uniquely, and hence this Lie algebra has the natural involution a + ib = x → x* = a ? ib. One can readily see that ‖x*‖ ? 2‖x‖. Among other things, we prove that ‖ x*‖ ? γ‖x‖, where γ < 2. In fact, the situation is treated in more detail: the original problem is included in a continuous family parametrized by the numerical radius of the element. Finding the exact value of the constant γ is reduced to a variational problem in the theory of entire functions of exponential type. Approximately, γ is equal to 1.92 ± 0.04.     

Canonical ensemble of particles in a self-avoiding random walk

We consider an ensemble of particles not interacting with each other and randomly walking in the d-dimensional Euclidean space ? ^d . The individual moves of each particle are governed by the same distribution, but after the completion of each such move of a particle, its position in the medium is “marked” as a region in the form of a ball of diameter r ₀, which is not available for subsequent visits by this particle. As a result, we obtain the corresponding ensemble in ? ^d of marked trajectories in each of which the distance between the centers of any pair of these balls is greater than r ₀. We describe a method for computing the asymptotic form of the probability density W _n (r) of the distance r between the centers of the initial and final balls of a trajectory consisting of n individual moves of a particle of the ensemble. The number n, the trajectory modulus, is a random variable in this model in addition to the distance r. This makes it necessary to determine the distribution of n, for which we use the canonical distribution obtained from the most probable distribution of particles in the ensemble over the moduli of their trajectories. Averaging the density W _n (r) over the canonical distribution of the modulus n allows finding the asymptotic behavior of the probability density of the distance r between the ends of the paths of the canonical ensemble of particles in a self-avoiding random walk in ? ^d for 2 ≤ d < 4.     

On the Ramsey number of the triangle and the cube

The Ramsey number r(K ₃,Q _n ) is the smallest integer N such that every red-blue colouring of the edges of the complete graph K _N contains either a red n-dimensional hypercube, or a blue triangle. Almost thirty years ago, Burr and Erd?s conjectured that r(K ₃,Q _n )=2 ⁿ⁺¹?1 for every n∈?, but the first non-trivial upper bound was obtained only recently, by Conlon, Fox, Lee and Sudakov, who proved that r(K ₃,Q _n )?7000·2 ⁿ . Here we show that r(K ₃,Q _n )=(1+o(1))2 ⁿ⁺¹ as n→∞.     

The product of octahedra is badly approximated in the <Emphasis Type="Italic">ℓ</Emphasis><Subscript>2,1</Subscript>-metric

We prove that the Cartesian product of octahedra B _1,∞ ^n,m = B ₁ ⁿ ×···× B ₁ ⁿ (m factors) is poorly approximated by spaces of half dimension in the mixed norm: d _N/2(B _1,∞ ^n,m , ? _2,1 ^n,m ) ≥ cm, N = mn. As a corollary, we find the order of linear widths of the Hölder–Nikol’skii classes H _p ^r (T ^d ) in the metric of L _q in certain domains of variation of the parameters (p, q).     

On the Convergence of Solutions of Variational Problems with Implicit Pointwise Constraints in Variable Domains

Results on the convergence of minimizers and minimum values of integral and more general functionals J_s: W^1,p(Ω_s) → ? on the sets U_s(h_s) = {v ∈ W^1,p(Ω_s): h_s(v) ≤ 0 a.e. in Ω_s}, where p > 1, {Ω_s} is a sequence of domains contained in a bounded domain Ω of ?ⁿ (n > 2), and {h_s} is a sequence of functions on ?, are announced.     

Fast Algorithm of Square Rooting in Some Finite Fields of Odd Characteristic

It was proved that the complexity of square root computation in the Galois field GF(3^s), s = 2^kr, is equal to O(M(2^k)M(r)k + M(r) log₂r) + 2^kkr^1+o(1), where M (n) is the complexity of multiplication of polynomials of degree n over fields of characteristics 3. The complexity of multiplication and division in the field GF(3^s) is equal to O(M(2^k)M(r)) and O(M(2^k)M(r)) + r^1+o(1), respectively. If the basis in the field GF(3^r) is determined by an irreducible binomial over GF(3) or is an optimal normal basis, then the summands 2^kkr^1+o(1) and r^1+o(1) can be omitted. For M(n) one may take n log₂nψ(n) where ψ(n) grows slower than any iteration of the logarithm. If k grow and r is fixed, than all the estimates presented here have the form O_r (M (s) log ₂s) = s (log ₂s)²ψ(s).     

On the equality of Kolmogorov and relative widths of classes of differentiable functions

We obtain sharper estimates of the remainders in the expression for the least value of the multiplier M for which the Kolmogorov widths d _n (W _C ^r , C) and the relative widths K _n (W _C ^r ,MW _C ^j ,C) of the class W _C ^r with respect to the class MW _C ^j , j < r, where r ? j is odd, are equal.     

On a nonlinear third-order equation

The problem of the completeness of the system of analytic functions of the form ∪ _k=0 ²{[W(zδ ^k )]³ⁿ } _n=0 ^∞, where n = 0, 1,..., k = 0, 1, 2, and δ = exp(2πi/3), in A(D) is solved.     

Almost Empty Monochromatic Quadrilaterals in Planar Point Sets

For positive integers c, s ≥ 1, r ≥ 3, let W _r (c, s) be the least integer such that if a set of at least W _r (c, s) points in the plane, no three of which are collinear, is colored with c colors, then this set contains a monochromatic r-gon with at most s interior points. As is known, if r = 3, then W _r (c, s)=W _r (c, s). In this paper, we extend these results to the case r = 4. We prove that W4(2, 1) = 11, W4(3, 2) ≤ 120, and the least integer μ4(c) such that W4(c, μ4(c)) < ∞ is bounded by \(\left\lfloor {\frac{{c - 1}}{2}} \right\rfloor \cdot 2 \leqslant \mu 4\left( c \right) \leqslant 2c - 3\),where c ≥ 2.     

On idempotent <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated to a von Neumann algebra

Let τ be a faithful normal semifinite trace on a von Neumann algebra M, let p, 0 < p < ∞, be a number, and let L_p(M, τ) be the space of operators whose pth power is integrable (with respect to τ). Let P and Q be τ-measurable idempotents, and let A ≡ P ? Q. In this case, 1) if A ≥ 0, then A is a projection and QA = AQ = 0; 2) if P is quasinormal, then P is a projection; 3) if Q ∈ M and A ∈ L_p(M, τ), then A² ∈ L_p(M, τ). Let n be a positive integer, n > 2, and A = Aⁿ ∈ M. In this case, 1) if A ≠ 0, then the values of the nonincreasing rearrangement μ_t(A) belong to the set {0} ∪ [‖A^n?2‖^?1, ‖A‖] for all t > 0; 2) either μ_t(A) ≥ 1 for all t > 0 or there is a t₀ > 0 such that μ_t(A) = 0 for all t > t₀. For every τ-measurable idempotent Q, there is aunique rank projection P ∈ M with QP = P, PQ = Q, and PM = QM. There is a unique decomposition Q = P + Z, where Z² = 0, ZP = 0, and PZ = Z. Here, if Q ∈ L_p(M, τ), then P is integrable, and τ(Q) = τ(P) for p = 1. If A ∈ L₁(M, τ) and if A = A³ and A ? A² ∈ M, then τ(A) ∈ R.     

The maximum and minimum degree of the random <Emphasis Type="Italic">r</Emphasis>-uniform <Emphasis Type="Italic">r</Emphasis>-partite hypergraphs

In this paper we consider the random r-uniform r-partite hypergraph model H(n ₁, n ₂, ···, n _r; n, p) which consists of all the r-uniform r-partite hypergraphs with vertex partition {V ₁, V ₂, ···, V _r} where |V _i| = n _i = n _i(n) (1 ≤ i ≤ r) are positive integer-valued functions on n with n ₁ +n ₂ +···+n _r = n, and each r-subset containing exactly one element in V _i (1 ≤ i ≤ r) is chosen to be a hyperedge of H _p ∈ H (n ₁, n ₂, ···, n _r; n, p) with probability p = p(n), all choices being independent. Let

$${\Delta _{{V_1}}} = {\Delta _{{V_1}}}\left( H \right)$$

and

$${\delta _{{V_1}}} = {\delta _{{V_1}}}\left( H \right)$$

be the maximum and minimum degree of vertices in V ₁ of H, respectively;

$${X_{d,{V_1}}} = {X_{d,{V_1}}}\left( H \right),{Y_{d,{V_1}}} = {Y_{d,{V_1}}}\left( H \right)$$

,

$${Z_{d,{V_1}}} = {Z_{d,{V_1}}}\left( H \right)and{Z_{c,d,{V_1}}} = {Z_{c,d,{V_1}}}\left( H \right)$$

be the number of vertices in V ₁ of H with degree d, at least d, at most d, and between c and d, respectively. In this paper we obtain that in the space H(n ₁, n ₂, ···, n _r; n, p),

$${X_{d,{V_1}}},{Y_{d,{V_1}}},{Z_{d,{V_1}}}and{Z_{c,d,{V_1}}}$$

all have asymptotically Poisson distributions. We also answer the following two questions. What is the range of p that there exists a function D(n) such that in the space H(n ₁, n ₂, ···, n _r; n, p),

$$\mathop {\lim }\limits_{n \to \infty } P\left( {{\Delta _{{V_1}}} = D\left( n \right)} \right) = 1$$

? What is the range of p such that a.e., H _p ∈ H (n ₁, n ₂, ···, n _r; n, p) has a unique vertex in V ₁ with degree

$${\Delta _{{V_1}}}\left( {{H_p}} \right)$$

? Both answers are p = o (log n ₁/N), where

$$N = \mathop \prod \limits_{i = 2}^r {n_i}$$

. The corresponding problems on

$${\delta _{{V_i}}}\left( {{H_p}} \right)$$

also are considered, and we obtained the answers are p ≤ (1 + o(1))(log n ₁/N) and p = o (log n ₁/N), respectively.

     

Series by Haar system with monotone coefficients

Let χ = {χ _n } _n=0 ^∞ be the Haar system normalized in L ²(0, 1) and M = {M _s } _s=1 ^∞ be an arbitrary, increasing sequence of nonnegative integers. For any subsystem of χ of the form {φ _k } = χS = {χ _n } _n∈S , where S = S(M) = {n _k } _k=1 ^∞ = {n ∈ V[p]: p ∈ M}, V[0] = {1, 2} and V[p] = {2 ^p + 1, 2 ^p + 2, …, 2 ^p+1} for p = 1, 2, … a series of the form Σ _i=1 ^∞ a _i φ _i with a _i ↘ 0 is constructed, that is universal with respect to partial series in all classes L ^r (0, 1), r ∈ (0, 1), in the sense of a.e. convergence and in the metric ofL ^r (0, 1). The constructed series is universal in the class of all measurable, finite functions on [0, 1] in the sense of a.e. convergence. It is proved that there exists a series by Haar system with decreasing coefficients, which has the following property: for any ? > 0 there exists a measurable function µ(x), x ∈ [0, 1], such that 0 ≤ µ(x) ≤ 1 and |{x ∈ [0, 1], µ(x) ≠ = 1}| < ?, and the series is universal in the weighted space L _µ[0, 1] with respect to subseries, in the sense of convergence in the norm of L _µ[0, 1].     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.