Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

On a problem of Nirenberg concerning expanding maps

Let X be a Banach space and T:X → X a continuous map, which is expanding (i.e., ∥Tu ? Tv∥ ? ∥u ? v∥ for all u, v?X) and such that T(X) has a nonempty interior. Does this guarantee that T is onto? We give a counterexample in the case of X=L¹(N).     

Paranormal Elements in Normed Algebra

For a normed algebra A and natural numbers k we introduce and investigate the ∥ · ∥ closed classes P _k (A). We show that P₁(A) is a subset of P _k (A) for all k. If T in P₁(A), then Tⁿ lies in P₁(A) for all natural n. If A is unital, U, V ∈ A are such that ∥U∥ = ∥V∥ = 1, VU = I and T lies in P _k (A), then UTV lies in P _k (A) for all natural k. Let A be unital, then 1) if an element T in P₁(A) is right invertible, then any right inverse element T^?1 lies in P₁(A); 2) for ßßIßß = 1 the class P₁(A) consists of normaloid elements; 3) if the spectrum of an element T, T ∈ P₁(A) lies on the unit circle, then ∥TX∥ = ∥X∥ for all X ∈ A. If A = B(H), then the class P₁(A) coincides with the set of all paranormal operators on a Hilbert space H.     

Moment methods in Padé approximation: The unitary case

Given a unitary operator T in a Hilbert space H = (H, 〈·, ·〉) convergence results for two sequences of ($\text{(n ? 1)}\text{n)}$ two-point Padé approximants to the function f(z) = 〈(I ? zT)^?1u₀, u₀〉, (u₀ ∈ H, ∥ u₀∥ = 1, z regular for T) are given. An elementary proof is also given of the well-known operator version of the trigonometric moment problem, not using the solution of the classical trigonometric moment problem.     

Dual operator norms and the spectra of matrices

Let ∥·∥ be an operator norm and ∥·∥^D its dual. Then it is shown that ∥A∥^D? ∑|λ_i(A)|, where λ_i(A) are the eigenvalues of A, holds for all matrices A if and only if ∥·∥ is the operator norm subordinate to a Euclidian vector norm.     

Asymptotic Behaviour of C0–Semigroups with Bounded Local Resolvents

Let {T(t)}_t≥0 be a C₀–semigroup on a Banach space X with generator A, and let H^∞_T be the space of all x ∈ X such that the local resolvent λ ↦ R(λ, A)x has a bounded holomorphic extension to the right half–plane. For the class of integrable functions ϕ on [0, ∞) whose Fourier transforms are integrable, we construct a functional calculus ϕ ↦ T_ϕ, as operators on H^∞_T. Weshow that each orbit T(·)T_ϕx is bounded and uniformly continuous, and T(t)T_ϕx → 0 weakly as t → ∞, and we give a new proof that ∥T(t)R(μ, A)x∥ = O(t). We also show that ∥T(t)T_ϕx∥ → 0 when T is sun –reflexive, and that ∥T(t)R(μ, A)x∥ = O(ln t) when T is a positive semigroup on a normal ordered space X and x is a positive vector in H^∞_T.     

On the maximum number of edges in a hypergraph whose linegraph contains no cycle

Soit H = (X,F) un hypergraphe h-uniforme avec ∥X∥ = n et soit L_h±1(H) le graphe dont les sommets représentent les arêtes de H. deux sommets étant relíes si et seulement si les arétes qu'ils représentent intersectent en h ± 1 sommets. Nous montrons que si L_h±1(H) ne contient pas de cycle, alors $\text{∥F∥<(}{}^{\mathrm{n}}{}_{\mathrm{h\pm 1}}\text{)/h±1}$. la borne étant exacte pour h = 2 et pour des valeurs de H pour h = 3. Ce probl`eme mène á une conjecture sur les “presque systèmes de Steine.”Let H = (X, F) be a h-uniform hypergraph, with ∥X∥ = n and let L_h±1(H) be the graph whose vertices are the edges of H, two vertices being joined if and only if the edges they represent intersect in h ±1 vertices. We prove that, if L_h±1H contains no cycle, then $\text{∥F∥(}{}^{\mathrm{n}}{}_{\mathrm{h\pm 1}}\text{)/h±1}$; moreover the bound is exact for h = 2 and with some values of n for h = 3. This problem leads to a conjecture on “almost Steiner systems”.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

Operator Ideals Generalizing the Ideal of Strictly Singular Operators

It is well-known that an operator T ∈ L(E, F) is strictly singular if ∥T_x∥≧λ∥x∥ on a subspace Z ? E implies dim Z < + ∞. The present paper deals with ideals of operators defined by a condition — ∥T_x∥≧λ∥x∥ on an infinite-dimensional subspace Z ? E implies Z ? F — F being a ?quasi-injective”? class of BANACH spaces.     

Computing projections via Householder transformations and Gram–Schmidt orthogonalizations

Let x * denote the solution of a linear least‐squares problem of the form where A is a full rank m × n matrix, m > n. Let r *= b ‐ A x * denote the corresponding residual vector. In most problems one is satisfied with accurate computation of x *. Yet in some applications, such as affine scaling methods, one is also interested in accurate computation of the unit residual vector r */∥ r *∥₂. The difficulties arise when ∥ r *∥₂ is much smaller than ∥ b ∥₂. Let x? and r? denote the computed values of x * and r *, respectively. Let εdenote the machine precision in our computations, and assume that r? is computed from the equality r? = b ‐A x? . Then, no matter how accurate x? is, the unit residual vector û = r? /∥ r? ∥₂ contains an error vector whose size is likely to exceed ε∥ b ∥₂/∥ r* ∥₂. That is, the smaller ∥ r* ∥₂ the larger the error. Thus although the computed unit residual should satisfy A^T û = 0 , in practice the size of ∥A^T û ∥₂ is about ε∥A∥₂∥ b ∥₂/∥ r* ∥₂. The methods discussed in this paper compute a residual vector, r? , for which ∥A^T r? ∥₂ is not much larger than ε∥A∥₂∥ r? ∥₂. Numerical experiments illustrate the difficulties in computing small residuals and the usefulness of the proposed safeguards. Copyright © 2004 John Wiley & Sons, Ltd.     

A spectral radius theorem for matrix seminorms

A matrix seminorm ∥·∥ is called supspectral if it satisfies the condition that the spectral radius of a square matrix A is lim sup ∥Aⁿ∥^1/n as n→∞. This property is shown to be equivalent to each of two conditions on ∥·∥, one characterizing behavior on idempotent A, and the other characterizing behavior on non-nilpotent A. Examples of supspectral seminorms are provided.     

A remark on Lorentz algebras

We consider the class of Euclidean algebras associated to Minkowski light cones and called Lorentz algebras. We prove that in Lorentz algebras the estimate ∥P(a,b) ∥_∞≥(√2-1) ∥a∥_∞ ∥b∥_∞ is valid for the spectral norm and is therefore independent of the dimension of the Lorentz algebra.     

On the Schur multiplier norm of matrices

The Schur product of two n×n complex matrices A=(a_ij), B=(b_ij) is defined by A°B=(a_ijb_ij. By a result of Schur [2], the algebra of n×n matrices with Schur product and the usual addition is a commutative Banach algebra under the operator norm (the norm of the operator defined on $\text{C}$ⁿ by the matrix). For a fixed matrix A, the norm of the operator B?A°B on this Banach algebra is called the Schur multiplier norm of A, and is denoted by ∥A∥^m. It is proved here that $\text{∥A∥=∥U}{}^1\text{AU∥}{}_{\mathrm{m}}$ for all unitary U (where ∥·∥ denotes the operator norm) iff A is a scalar multiple of a unitary matrix; and that ∥A∥_m=∥A∥ iff there exist two permutations P, Q, a p×p (1?p?n) unitary U, an (n?p)×(n?p)1 contraction C, and a nonnegative number λ such that

$\text{A=λP}\text{U}\text{0}\text{0}\text{C}\text{Q;}$

and this is so iff $\text{∥A°}\text{A}\text{?}\text{∥=∥A∥}{}^2$, where ā is the matrix obtained by taking entrywise conjugates of A.     

A smoothing self-adaptive Levenberg-Marquardt algorithm for solving system of nonlinear inequalities

In this paper, we consider the smoothing self-adaptive Levenberg-Marquardt algorithm for the system of nonlinear inequalities. By constructing a new smoothing function, the problem is approximated via a family of parameterized smooth equations H(x) = 0. A smoothing self-adaptive Levenberg-Marquardt algorithm is proposed for solving the system of nonlinear inequalities based on the new smoothing function. The Levenberg-Marquardt parameter μ_k is chosen as the product of μ_k = ∥H^k∥^δ with δ ∈ (0, 2] being a positive constant. We will show that if ∥H^k∥^δ provides a local error bound, which is weaker than the non-singularity, the proposed method converges superlinearly to the solution for δ ∈ (0, 1), while quadratically for δ ∈ [1, 2]. Numerical results show that the new method performs very well for system of inequalities.     

Estimates on the first eigenvalue of an integral equation

We show how inequalities of the type $\text{∥F∥}{}_{\mathrm{p}}\text{? C(p, q) a}{}^{\mathrm{<mtext>1\; +\; (</mtext><mtext>1</mtext><mtext>p</mtext><mtext>)?\; (</mtext><mtext>1</mtext><mtext>q</mtext><mtext>)</mtext>}}\text{∥ F ′ ∥}{}_{\mathrm{q\prime }}$ when F(0) = 0 can be used to find lower bounds of the first eigenvalue of the integral equation F(z) = λ ∝₀^ak(s, z)F(s) ds.     

SOME REMARKS CONCERNING THE DAUGAVET EQUATION

Abstract

We say that a normed space X has the Daugavet property (DP) if for every finite rank operator K in X the equality ∥I + T∥ = 1 + ∥T∥ holds. It is known that C[0,1] and L ₁[0,1] have DP. We prove that if X has DP then X has no unconditional basis. We also discuss anti-Daugavet property, hereditary DP-spaces and construct a strictly convex normed space having DP.     

On bounds for solutions to nonlinear wave equations in Hilbert space with applications to nonlinear elastodynamics

For the nonlinear wave equationu _tt -Nu +G(t,u, u _t ) = ? in Hilbert space, with associated homogeneous initial data, we show how ana priori bound of the form ∫ ₀ ^T ∥G(τ,u, u _τ)∥² dτ ≤ κ ∫ ₀ ^T ∥?(τ)∥² dτ leads to upper and lower bounds for ∥u∥ in terms of ∥?∥. An application to nonlinear elastodynamics is presented.     

The approximation of flows

Let U, V be two strongly continuous one-parameter groups of bounded operators on a Banach space $\text{X}$ with corresponding infinitesimal generators S, T. We prove the following: ∥U_t, ? V_t ∥ = O(t), t → 0, if and only if U = V; ∥U_t ? V_t∥ = O(t^α), t → 0; with 0 ? α ? 1, if and only if $\text{S = Ω(T + P)Ω}{}^{\mathrm{?1}}$, where Ω, P, are bounded operators on $\text{X}$ such that $\text{∥U}{}_{\mathrm{t}}\text{Ω ? ΩU}{}_{\mathrm{t}}\text{∥ = O(t}{}^{\mathrm{\alpha }}\text{), ∥U}{}_{\mathrm{t}}\text{P ? PU}{}_{\mathrm{t}}\text{∥ = ?O(t}{}^{\mathrm{\alpha }}\text{), t → 0; ∥U}{}_{\mathrm{t}}\text{? V}{}_{\mathrm{t}}\text{∥ = O(t)}$ if and only if $\text{S}{}^1\text{? T}{}^1$ has a bounded extension to $\text{X}$¹. Further results of this nature are inferred for semigroups, reflexive spaces, Hilbert spaces, and von Neumann algebras.