A note on the probabilistic approach to Turán's problem

The Turán number T(n, l, k) is the smallest possible number of edges in a k-graph on n vertices such that every l-set of vertices contains an edge. Given a k-graph H = (V(H), E(H)), we let X_s(S) equal the number of edges contained in S, for any s-set S?V(H). Turán's problem is equivalent to estimating the expectation E(X_l), given that min(X_l) ≥ 1. The following lower bound on the variance of X_s is proved:

$\text{Var(X}{}_{\mathrm{s}}\text{)?mm}\text{n?2k}\text{s?k}\text{n}\text{s}{}^{\mathrm{?1}}\text{n}\text{k}{}^1$

, where m = |E(H)| and $\text{m}\text{= (}{}_{\mathrm{k}}{}^{\mathrm{n}}\text{) ? m}$. This implies the following: putting t(k, l) = lim_n→∞T(n, l, k)(_kⁿ)^?1 then t(k, l) ≥ T(s, l, k)((_k^s) ? 1)^?1, whenever s ≥ l > k ≥ 2. A connection of these results with the existence of certain t-designs is mentioned.     

On the Elementary Retarded,Ultrahyperbolic Solution of the Klein-Gordon Operator,Iterated k Times

Let t = (t₁,…,t_n) be a point of ?ⁿ. We shall write . We put, by the definition, W_α(u, m) = (m^?2u)^{(α ? n)/4}[π^{(n ? 2)/2}2^{(α + n ? 2)/2}Г(α/2)]J_{(α ? n)/2}(m²u)^1/2; here α is a complex parameter, m a real nonnegative number, and n the dimension of the space. W_α(u, m), which is an ordinary function if Re α ≥ n, is an entire distributional function of α. First we evaluate {□ + m²}W_{α + 2}(u, m) = W_α(u, m), where {□ + m²} is the ultrahyperbolic operator. Then we express W_α(u, m) as a linear combination of R_α(u) of differntial orders; R_α(u) is Marcel Riesz's ultrahyperbolic kernel. We also obtain the following results: W_?2k(u, m) = {□ + m²}^kδ, k = 0, 1,…; W₀(u, m) = δ; and {□ + m²}^kW_2k(u, m) = δ. Finally we prove that W_α(u, m = 0) = R_α(u). Several of these results, in the particular case µ = 1, were proved earlier by a completely different method.     

Best Constants in the Miranda-Agmon Inequalities for Solutions of Elliptic Systems and the Classical Maximum Modulus Principle for Fluid and Elastic Half-spaces

The Dirichlet problem for elliptic systems of the second order with constant real and complex coefficients in the half-space  ^k ₊ = {x = (x ₁,…,x_k ): x_k > 0} is considered. It is assumed that the boundary values of a solution u = (u ₁,…,u _m) have the form ψ ₁ ξ ₁ + · · · + ψ _n ξ _n, 1 ≤ n ≤ m, where ξ ₁,· · ·,ξ _n is an orthogonal system of m-component normed vectors and ψ ₁,· · ·,ψ _n are continuous and bounded functions on ? ^k ₊. We study the mappings [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m and [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m generated by real and complex vector valued double layer potentials. We obtain representations for the sharp constants in inequalities between |u(x)| or |(z, u(x))| and ∥u| _xk =₀∥, where z is a fixed unit m-component vector, | · | is the length of a vector in a finite-dimensional unitary space or in Euclidean space, and (·,·) is the inner product in the same space. Explicit representations of these sharp constants for the Stokes and Lamé systems are given. We show, in particular, that if the velocity vector (the elastic displacement vector) is parallel to a constant vector at the boundary of a half-space and if the modulus of the boundary data does not exceed 1, then the velocity vector (the elastic displacement vector) is majorised by 1 at an arbitrary point of the half-space. An analogous classical maximum modulus principle is obtained for two components of the stress tensor of the planar deformed state as well as for the gradient of a biharmonic function in a half-plane.     

Best simultaneous approximation in L∞(μ, X)

Let Y be a reflexive subspace of the Banach space X, let (Ω, Σ, μ) be a finite measure space, and let L_∞(μ, X) be the Banach space of all essentially bounded μ ‐Bochner integrable functions on Ω with values in X, endowed with its usual norm. Let us suppose that Σ₀ is a sub‐σ ‐algebra of Σ, and let μ₀ be the restriction of μ to Σ₀. Given a natural number n, let N be a monotonous norm in ?ⁿ . We prove that L_∞(μ, Y) is N ‐simultaneously proximinal in L_∞(μ,X), and that if X is reflexive then L_∞(μ₀, X) is N ‐simultaneously proximinal in L_∞(μ, X) in the sense of Fathi, Hussein, and Khalil [3]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Single point blow-up for a semilinear initial value problem

The initial value problem on [?R, R] is considered: u_t(t, x) = u_xx(t, x) + u(t, x)^γu(t, ±R) = 0u(0, x) = ?(x), where ? ? 0 and γ is a fixed large number. It is known that for some initial values ? the solution u(t, x) exists only up to some finite time T, and that ∥u(t, ·)∥_∞ → ∞ as t → T. For the specific initial value ? = kψ, where ψ ? 0, ψ_xx + ψ^γ = 0, ψ(±R) = 0, k is sufficiently large, it is shown that if x ≠ 0, then lim_{t → T}u(t, x) and lim_{t → T}u_x(t, x) exist and are finite. In other words, blow-up occurs only at the point x = 0.     

Primitive non-powerful sign pattern matrices with base 2

A sign pattern matrix M with zero trace is primitive non-powerful if for some positive integer k, M ^k ?=?J _#. The base l(M) of the primitive non-powerful matrix M is the smallest integer k. By considering the signed digraph S whose adjacent matrix is the primitive non-powerful matrix M, we will show that if l(M)?=?2, the minimum number of non-zero entries of M is 5n???8 or 5n???7 depending on whether n is even or odd.     

Shape sensitivity analysis of stress intensity factors by Generalized J-integrals

We consider an elastic plate with the non-deformed shape Ω_Σ := Ω \ Σ, where Ω is a domain bounded by a smooth closed curve Γ and Σ ⊂ Ω is a curve with the end points {γ₁, γ₂}. If the force g is given on the part Γ_N of Γ, the displacement u is fixed on Γ_D := Γ \ Γ_N and the body force f is given in Ω, then the displacement vector u(x) = (u₁(x), u₂(x)) has unbounded derivatives (stress singularities) near γ_k, k = 1, 2    u(x) = ∑²_{k, l=1} K_l(γ_k)r^1/2_kS^C_kl(θ_k) + u_R(x)     near γ_k. Here (r_k, θ_k) denote local curvilinear polar co-ordinates near γ_k, k = 1, 2, S^C_kl (θ_k) are smooth functions defined on [−π, π] and u_R(x) ∈ {H²(near γ_k)}². The constants K_l(γ_k),   l = 1, 2, which are called the stress intensity factors at γ_k (abbr. SIFs), are important parameters in fracture mechanics. We notice that the stress intensity factors K_l(γ_k) (l = 1, 2;  k = 1, 2) are functionals K_l(γ_k) = K_l(γ_k; ℒ︁, Ω, Σ) depending on the load ℒ︁, the shape of the plate Ω and the shape of the crack Σ. We say that the crack Σ is safe, if K_l(γ_k; Ω)² + K₂(γ_k; Ω)² < RẼ. By a small change of Ω the shape Σ can change to a dangerous one, i.e. we have K₁(γ_k; Ω)² + K₂(γ_k; Ω)² ⩾ RẼ. Therefore it is important to know how K_l(γ_k) depends on the shape of Ω. For this reason, we calculate the Gâteaux derivative of K_l(γ_k) under a class of domain perturbations which includes the approximation of domains by polygonal domains and the Hadamard's parametrization Γ(τ) := {x + τϕ(x)n(x);  x ∈ Γ}, where ϕ is a function on Γ and n is the outward unit normal on Γ. The calculations are quite delicate because of the occurrence of additional stress singularities at the collision points {γ₃, γ₄} = Γ _D ∩ Γ _N. The result is derived by the combination of the weight function method and the Generalized J-integral technique (abbr. GJ-integral technique). The GJ-integrals have been proposed by the first author in order to express the variation of energy (energy release rate) by extension of a crack in a 3D-elastic body. This paper begins with the weak solution of the crack problem, the weight function representation of SIF's, GJ-integral technique and finish with the shape sensitivity analysis of SIF's. GJ-integral J_ω(u; X) is the sum of the P-integral (line integral) P_ω(u, X) and the R-integral (area integral) R_ω(u, X). With the help of the GJ-integral technique we derive an R-integral expression for the shape derivative of the potential energy which is valid for all displacement fields u ∈ H¹. Using the property that the GJ-integral vanishes for all regular fields u ∈ H² we convert the R-integral expression for the shape derivative to a P-integral expression. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

On the singularity of the irreducible components of a Springer fiber in {\mathfrak{s}\mathfrak{l}_n}

Let ${\mathcal{B}_u}Let B_u{\mathcal{B}_u} be the Springer fiber over a nilpotent endomorphism u ? End(\mathbbCⁿ){u\in {\rm End}(\mathbb{C}^n)}. Let J (u) be the Jordan form of u regarded as a partition of n. The irreducible components of B_u{\mathcal{B}_u} are all of the same dimension. They are labelled by Young tableaux of shape J (u). We study the question of the singularity of the components of B_u{\mathcal{B}_u} and show that all the components of B_u{\mathcal{B}_u} are nonsingular if and only if J(u) ? {(l,1,1,?), (l₁,l₂), (l₁,l₂,1), (2,2,2)}{J(u)\in\{(\lambda,1,1,\ldots), (\lambda_1,\lambda_2), (\lambda_1,\lambda_2,1), (2,2,2)\}}.     

Some results on generalized exponents

A digraph G = (V, E) is primitive if, for some positive integer k, there is a u → v walk of length k for every pair u, v of vertices of V. The minimum such k is called the exponent of G, denoted exp(G). The exponent of a vertex u ∈ V, denoted exp(u), is the least integer k such that there is a u → v walk of length k for each v ∈ V. For a set X ⊆ V, exp(X) is the least integer k such that for each v ∈ V there is a X → v walk of length k, i.e., a u → v walk of length k for some u ∈ X. Let F(G, k) : = max{exp(X) : |X| = k} and F(n, k) : = max{F(G, k) : |V| = n}, where |X| and |V| denote the number of vertices in X and V, respectively. Recently, B. Liu and Q. Li proved F(n, k) = (n − k)(n − 1) + 1 for all 1 ≤ k ≤ n − 1. In this article, for each k, 1 ≤ k ≤ n − 1, we characterize the digraphs G such that F(G, k) = F(n, k), thereby answering a question of R. Brualdi and B. Liu. We also find some new upper bounds on the (ordinary) exponent of G in terms of the maximum outdegree of G, Δ⁺(G) = max{d⁺(u) : u ∈ V}, and thus obtain a new refinement of the Wielandt bound (n − 1)² + 1. © 1998 John Wiley & Sons, Inc. J. Graph Theory 28: 215–225, 1998     

Stirling polynomials

An investigation is made of the polynomials f_k(n) = S(n + k, n) and g_k(n) = (?1)^ks(n, n ? k), where S and s denote the Stirling numbers of the second and first kind, respectively. The main result gives a combinatorial interpretation of the coefficients of the polynomial (1 ? x)^2k+1Σ_n=0^∞f_k(n)xⁿ analogous to the well-known combinatorial interpretation of the Eulerian numbers in terms of descents of permutations.     

The method of asymptotic stabilization to a given trajectory based on a correction of the initial data

Let S be an operator in a Banach space H and S ⁱ (u) (i = 0, 1, ..., u ∈ H) be the evolutionary process specified by S. The following problem is considered: for a given point z ₀ and a given initial condition a ₀, find a correction l such that the trajectory {S ⁱ (a ₀ + l)} approaches }S ⁱ (z ₀)} for 0 < i ≤ n. This problem is reduced to projecting a ₀ on the manifold ?^?(z ₀, f ⁽ⁿ⁾) defined in a neighborhood of z ₀ and specified by a certain function f ⁽ⁿ⁾. In this paper, an iterative method is proposed for the construction of the desired correction u = a ₀ + l. The convergence of the method is substantiated, and its efficiency for the blow-up Chafee-Infante equation is verified. A constructive proof of the existence of a locally stable manifold ?^?(z ₀, f) in a neighborhood of a trajectory of hyperbolic type is one of the possible applications of the proposed method. For the points in ?^?(z ₀, f), the value of n can be chosen arbitrarily large.     

On the fluctuations of independent copies of moving maxima

Let {X_n, n1} be a sequence of independent random variables (r.v.'s) with a common distribution function (d.f.) F. Define the moving maxima Y_k(n)=max(X_n−k(n)+1,X_n−k(n)+2,…,X_n), where {k(n), n1} is a sequence of positive integers. Let Y_k(n)¹ and Y_k(n)² be two independent copies of Y_k(n). Under certain conditions on F and k(n), the set of almost sure limit points of the vector consisting of properly normalised Y_k(n)¹ and Y_k(n)² is obtained.     

More coverings by rook domains

The set V_kⁿ of all n-tuples (x₁, x₂,…, x_n) with x_i?, $\text{Z}$_k is considered. The problem treated in this paper is determining σ(n, k), the minimum size of a set W ? V_kⁿ such that for each x in V_kⁿ, there is an element in W that differs from x in at most one coordinate. By using a new constructive method, it is shown that σ(n, p) ? (p ? t + 1)p^n?r, where p is a prime and $\text{n = 1 +}\text{t(p}{}^{\mathrm{r?1}}\text{? 1)}\text{(p ? 1)}$ for some integers t and r. The same method also gives σ(7, 3) ? 216. Another construction gives the inequality σ(n, kt) ? σ(n, k)t^n?1 which implies that σ(q + 1, qt) = q^q?1t^q when q is a prime power. By proving another inequality σ(np + 1, p) ? σ(n, p)p^n(p?1), σ(10, 3) ? 5 · 3⁶ and σ(16, 5) ? 13 · 5¹² are obtained.     

Semigroup approach for identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation

This article presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u(x,t)) in the quasi‐linear parabolic equation u_t(x,t)=(k(u(x,t))u_x(x,t))_x, with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[?]:?? →C¹[0,T], Ψ[?]:??→C¹[0,T] via semigroup theory. In this paper, it is shown that if the null space of the semigroup T(t) consists of only zero function, then the input–output mappings Φ[?] and Ψ[?] have the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of these mappings. Moreover, under the light of measured output data (boundary observations) f(t):=k(u(0,t))u_x(0,t) or/and h(t):=k(u(1,t))u_x(1,t), the values k(ψ₀) and k(ψ₁) of the unknown diffusion coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, can be determined explicitly. In addition to these, the values k_u(ψ₀) and k_u(ψ₁) of the unknown coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, are also determined via the input data. Furthermore, it is shown that measured output data f(t) and h(t) can be determined analytically by an integral representation. Hence the input–output mappings Φ[?]:??→ C¹[0,T], Ψ[?]:??→C¹[0,T] are given explicitly in terms of the semigroup. Copyright © 2007 John Wiley & Sons, Ltd.     

Betti Numbers of Toric Varieties and Eulerian Polynomials

It is well known that the Eulerian polynomials, which count permutations in S _n by their number of descents, give the h-polynomial/h-vector of the simple polytopes known as permutohedra, the convex hull of the S _n -orbit for a generic weight in the weight lattice of S _n . Therefore, the Eulerian polynomials give the Betti numbers for certain smooth toric varieties associated with the permutohedra.

In this article we derive recurrences for the h-vectors of a family of polytopes generalizing this. The simple polytopes we consider arise as the orbit of a nongeneric weight, namely, a weight fixed by only the simple reflections J = {s _n , s _n?1, s _n?2,…, s _n?k+2, s _n?k+1} for some k with respect to the A _n root lattice. Furthermore, they give rise to certain rationally smooth toric varieties X(J) that come naturally from the theory of algebraic monoids. Using effectively the theory of reductive algebraic monoids and the combinatorics of simple polytopes, we obtain a recurrence formula for the Poincaré polynomial of X(J) in terms of the Eulerian polynomials.     

Some relations betweens-numbers of operators on Banach spaces

We considers-number sequences {s _n (T)} _n=1 ^∞ of linear and continuous operatorsT on Banach spaces and prove product formulas for the operator ideals ? _p,u ^(s) . Furthermore, we investigate the relationship between the eigenvalues of a Riesz operator and its Hilbert numbers.     

Legendre polynomial kernel estimation of a density function with censored observations and an application to clinical trials

Let f(x), x ∈ ?^M, M ≥ 1, be a density function on ?^M, and X₁, …., X_n a sample of independent random vectors with this common density. For a rectangle B in ?^M, suppose that the X's are censored outside B, that is, the value X_k is observed only if X_k ∈ B. The restriction of f(x) to x ∈ B is clearly estimable by established methods on the basis of the censored observations. The purpose of this paper is to show how to extrapolate a particular estimator, based on the censored sample, from the rectangle B to a specified rectangle C containing B. The results are stated explicitly for M = 1, 2, and are directly extendible to M ≥ 3. For M = 2, the extrapolation from the rectangle B to the rectangle C is extended to the case where B and C are triangles. This is done by means of an elementary mapping of the positive quarter‐plane onto the strip {(u, v): 0 ≤ u ≤ 1, v > 0}. This particular extrapolation is applied to the estimation of the survival distribution based on censored observations in clinical trials. It represents a generalization of a method proposed in 2001 by the author [2]. The extrapolator has the following form: For m ≥ 1 and n ≥ 1, let K_{m, n}(x) be the classical kernel estimator of f(x), x ∈ B, based on the orthonormal Legendre polynomial kernel of degree m and a sample of n observed vectors censored outside B. The main result, stated in the cases M = 1, 2, is an explicit bound for E|K_{m, n}(x) ? f(x)| for x ∈ C, which represents the expected absolute error of extrapolation to C. It is shown that the extrapolator is a consistent estimator of f(x), x ∈ C, if f is sufficiently smooth and if m and n both tend to ∞ in a way that n increases sufficiently rapidly relative to m. © 2006 Wiley Periodicals, Inc.     

Sojourns and extremes of Fourier sums and series with random coefficients

Let X(t) be the trigonometric polynomial Σ^k_j=0a_j(U_tcosjt+V_jsinjt), –∞< t<∞, where the coefficients U_t and V_t are random variables and a_j is real. Suppose that these random variables have a joint distribution which is invariant under all orthogonal transformations of R^2k–2. Then X(t) is stationary but not necessarily Gaussian. Put L_t(u) = Lebesgue measure {s: 0?s?t, X(s) > u}, and M(t) = max{X(s): 0?s?t}. Limit theorems for L_t(u) and $\text{P}\text{(M(t) > u)}$ for u→∞ are obtained under the hypothesis that the distribution of the random norm (Σ^k_j=0(U²_j+V²_j))^{1 2} belongs to the domain of attraction of the extreme value distribution exp{ e^–2}. The results are also extended to the random Fourier series (k=∞).     

A characterization of periodic solutions for time‐fractional differential equations in UMD spaces and applications

We study the fractional differential equation (*) D^αu(t) + BD^βu(t) + Au(t) = f(t), 0 ? t ? 2π (0 ? β < α ? 2) in periodic Lebesgue spaces L^p(0, 2π; X) where X is a Banach space. Using functional calculus and operator valued Fourier multiplier theorems, we characterize, in UMD spaces, the well posedness of (*) in terms of R‐boundedness of the sets {(ik)^α((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} and {(ik)^βB((ik)^α + (ik)^βB + A)^?1}_{k∈ Z} . Applications to the fractional problems with periodic boundary condition, which includes the time diffusion and fractional wave equations, as well as an abstract version of the Basset‐Boussinesq‐Oseen equation are treated. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

A local normal form theorem for infinitary logic with unary quantifiers

We prove a local normal form theorem of the Gaifman type for the infinitary logic L_∞ω( Q _u)^ω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht‐Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L_∞ω( Q _u)^ω of quantifier rank n is equivalent to an infinite Boolean combination of sentences of the form (?^≥iy)ψ(y), where ψ(y) has counting quantifiers restricted to the (2^n–1 – 1)‐neighborhood of y. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)