Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

Regularity for weakly (K<Subscript>1</Subscript>, K<Subscript>2</Subscript>)-quasiregular mappings

In this paper, we first give the definition of weakly (K₁,K₂-quasiregular mappings, and then by using the Hodge decomposition and the weakly reverse Hölder inequality, we obtain their regularity property: For anyq ₁ that satisfies\(0< K_1 n^{(n + 4)/2} 2^{n + 1} \times 100^{n^2 } [2^{3n/2} (2^{5n} + 1)](n - q_1 )< 1\), there existsp ₁=p ₁(n,q ₁,K ₁,K ₂)>n, such that any (K₁, K₂)-quasiregular mapping\(f \in W_{loc}^{1,q_1 } (\Omega ,R^n )\) is in fact in\(W_{loc}^{1,p_1 } (\Omega , R^n )\). That is, f is (K₁,K₂)-quasiregular in the usual sense.     

Coercivity results of a modified <Emphasis Type="Italic">Q</Emphasis><Subscript>1</Subscript>-finite volume element scheme for anisotropic diffusion problems

In this paper, we study a so-called modified Q ₁-finite volume element scheme that is obtained by employing the trapezoidal rule to approximate the line integrals in the classical Q ₁-finite volume element method. A necessary and sufficient condition is obtained for the positive definiteness of a certain element stiffness matrix. Based on this result, a sufficient condition is suggested to guarantee the coercivity of the scheme on arbitrary convex quadrilateral meshes. When the diffusion tensor is an identity matrix, this sufficient condition reduces to a geometric one, covering some standard meshes, such as the traditional h ^1+γ -parallelogram meshes and some trapezoidal meshes. More interesting is that, this sufficient condition has explicit expression, by which one can easily judge on any diffusion tensor and any mesh with any mesh size h > 0. The H ¹ error estimate of the modified Q ₁-finite volume element scheme is obtained without the traditional h ^1+γ -parallelogram assumption. Some numerical experiments are carried out to validate the theoretical analysis.     

Convergence of greedy algorithm in Walsh system in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

Convergence of the greedy algorithm in Walsh system in L _p , p > 1 is studied. It is proved that there exists a function in L _p , 1 < p < 2, with greedy algorithm not converging in measure to that function. A continuous function with divergent in L _p , p > 2, greedy algorithm is constructed and sufficient conditions for convergence of the greedy algorithm in L _p , p > 1 are given.     

A new algorithm for minimizing makespan, <Emphasis Type="Italic">C</Emphasis><Subscript>max</Subscript>, in blocking flow-shop problem through slowing down the operations

In this paper, a new algorithm with complexity O(nm²) is presented, which finds the optimal makespan, C_max, for a blocking flow-shop problem by slowing down the operations of a no-wait flow-shop problem, F _m ∣no-wait∣C_max, for a given sequence where restriction on the slowing down is committed. However, the problem with performance measure makespan, C_max, in a non-cyclic environment, is a special case of cyclic problem with cycle time, C _t , as its performance measure. This new algorithm is much faster than the previously developed algorithms for cyclical scheduling problems.     

Similarity Results for Operators of Class <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>

If T is a multiplicity-free contraction of class C ₀ with minimal function m _T , then it is quasisimilar to the Jordan block S(m _T ). In case m _T is a Blaschke product with simple roots forming a Carleson sequence, we show that the relation between T and S(m _T ) can be strengthened to similarity. Under the additional assumption that u(T) has closed range for every inner divisor \({u\in H^\infty}\) of m _T , the result also holds in the more general setting where the roots have bounded multiplicities.     

Convergent expansions of the Bessel functions in terms of elementary functions

We consider the Bessel functions J _ν (z) and Y _ν (z) for R ν > ?1/2 and R z ≥ 0. We derive a convergent expansion of J _ν (z) in terms of the derivatives of \((\sin z)/z\), and a convergent expansion of Y _ν (z) in terms of derivatives of \((1-\cos z)/z\), derivatives of (1 ? e ^?z )/z and Γ(2ν, z). Both expansions hold uniformly in z in any fixed horizontal strip and are accompanied by error bounds. The accuracy of the approximations is illustrated with some numerical experiments.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-boundedness of a boundary integral operator on a contour with a peak

Results on the solvability of boundary integral equations on a plane contour with a peak obtained in collaboration with V.G. Maz’ya are developed. Earlier, it was proved that, on a contour Γ with an outward peak, the operator of the boundary equation of the Dirichlet boundary value problem maps the space ? _{p, β + 1} (Γ) continuously onto \(\mathcal{N}_{p,\beta } (\Gamma )\). The norm of a function in ? _{p, β} (Γ) is defined as

Open image in new window

, provided that the peak is at the origin. In this case, the norms on the spaces \(\mathcal{N}_{p,\beta }^ \mp (\Gamma )\) are defined by

Open image in new window

, where q _± are the intersection points of Γ with the circle {z: |z| = |q|} and δ > 0 is a fixed small number. On a contour with an inward peak, the operator of the boundary equation of the Dirichlet problem continuously maps ? _{p, β + 1} (Γ) onto ? _{p, β}(Γ), where ? _{p, β}(Γ) is the direct sum of \(\mathcal{N}_{p,\beta }^ + (\Gamma )\) (Γ) and the space

Open image in new window

(Γ) of functions on Γ of the form p(z) = Σ _{k = 0} ^m t ^(k)Rez ^k with the parameter m = [μ ? β ? p ^?1]. The operator I ? 2W of the boundary integral equation of plane elasticity theory, where W is the elastic double-layer potential, is considered. The main result is that the operator I ? 2W continuously maps the space ? _{p, β + 1} × ? _{p, β + 1}(Γ) to the space \(\mathcal{N}_{p,\beta }^ - \times \mathcal{N}_{p,\beta }^ - (\Gamma )\).

On a contour with an inward peak, the obtained representation of the operator I ? 2W and theorems on the boundedness of auxiliary integral operators imply that the images of vector-valued functions from ? _{p, β + 1} × ? _{p, β + 1}(Γ) have components representable as sums of functions from the spaces \(\mathcal{N}_{p,\beta }^ - (\Gamma )\)(Γ) and ? _{p, β}(Γ).     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).     

Abelianization of the <Emphasis Type="Italic">F</Emphasis>-divided fundamental group scheme

Let (X , x ₀) be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for (X , x ₀) produces a homomorphism from the abelianization of the F-divided fundamental group scheme of X to the F-divided fundamental group of the Albanese variety of X. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.     

Fekete-Szegö problem for close-to-convex functions with respect to a certain convex function dependent on a real parameter

Given α ∈ [0, 1], let h _α (z):= z/(1 - αz), z ∈ D:= {z ∈ D: |z| < 1}. An analytic standardly normalized function f in D is called close-to-convex with respect to h _α if there exists δ ∈ (-π/2, π/2) such that Re{e^iδ zf′(z)/h _α (z)} > 0, z ∈ D. For the class ? (h _α ) of all close-to-convex functions with respect to h _α , the Fekete-Szegö problem is studied.     

Some new scales of weight characterizations of the class <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We present an equivalence theorem, which includes all known characterizations of the class B _p , i.e., the weight class of Ariño and Muckenhoupt, and also some new equivalent characterizations. We also give equivalent characterizations for the classes B _p ^* , B _∞ ^* and RB _p , and prove and apply a “gluing lemma” of independent interest.     

Propagation of waves in a randomly stratified medium: An inverse problem

We pose and solve an inverse problem of finding a coefficient in the wave equation in the inhomogeneous semispace on the scattering data of a plane wave incident from the homogeneous semispace. The unknown coefficient is a sum of a deterministic summand of one variable (the “depth” z) and a small random summand α(x, z). We look for the deterministic summand, the expectation E(α(x, z)) =: m(z), and the second moment r(x ₁ t - x ₂, z ₁, z ₂):= E(α(x ₁, z ₁)α(x ₂, z ₂)). Here the symbol E(·) stands for expectation. The stratification property of a medium means that (i) the deterministic summand depends only on z, (ii) m(z) depends only on z, and (iii) the second moment for fixed z ₁ and z ₂ depends only on x ₁ ? x ₂.     

Composite meromorphic functions and normal families

In this paper, we study the normality of families of meromorphic functions. We prove the result: Let α(z) be a holomorphic function and \({\mathcal{F}}\) a family of meromorphic functions in a domain D, P(z) be a polynomial of degree at least 3. If P ○ f(z) and P ○ g(z) share α(z) IM for each pair \({f(z),g(z)\in \mathcal{F}}\) and one of the following conditions holds: (1) P(z) ? α(z ₀) has at least three distinct zeros for any \({z_{0}\in D}\); (2) There exists \({z_{0}\in D}\) such that P(z) ? α(z ₀) has at most two distinct zeros and α(z) is nonconstant. Assume that β ₀ is a zero of P(z) ? α(z ₀) with multiplicity p and that the multiplicities l and k of zeros of f(z) ? β ₀ and α(z) ? α(z ₀) at z ₀, respectively, satisfy k ≠ lp, for all \({f(z)\in\mathcal{F}}\). Then \({\mathcal{F}}\) is normal in D. In particular, the result is a kind of generalization of the famous Montel criterion.     

The local lifting problem for <Emphasis Type="Italic">D</Emphasis><Subscript>4</Subscript>

For a prime p, a cyclic-by-p group G and a G-extension L|K of complete discrete valuation fields of characteristic p with algebraically closed residue field, the local lifting problem asks whether the extension L|K lifts to characteristic zero. In this paper, we characterize D₄-extensions of fields of characteristic two, determine the ramification breaks of (suitable) D₄- extensions of complete discrete valuation fields of characteristic two, and solve the local lifting problem in the affirmative for every D₄-extension of complete discrete valuation fields of characteristic two with algebraically closed residue field; that is, we show that D₄ is a local Oort group for the prime 2.     

A characterization of the simple group PSL<Subscript>5</Subscript>(5) by the set of its element orders

Let G be a finite group and let ω(G) denote the set of the element orders of G. For the simple group PSL₅(5) we prove that if G is a finite group with ω(G) = ω(PSL₅(5)), then either G ? PSL₅(5) or G ? PSL₅(5): 〈θ〉 where θ is a graph automorphism of PSL₅(5) of order 2.     

On the limiting behavior of the characteristic function of the ergodic distribution of the semi-Markov walk with two boundaries

The semi-Markov walk (X(t)) with two boundaries at the levels 0 and β > 0 is considered. The characteristic function of the ergodic distribution of the processX(t) is expressed in terms of the characteristics of the boundary functionals N(z) and S _N(z), where N(z) is the firstmoment of exit of the random walk {Sn}, n ≥ 1, from the interval (?z, β ? z), z ∈ [0, β]. The limiting behavior of the characteristic function of the ergodic distribution of the process W _β (t) = 2X(t)/β ? 1 as β → ∞ is studied for the case in which the components of the walk (η _i) have a two-sided exponential distribution.     

On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

<Emphasis Type="Italic">M</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript>-supplemented subgroups of finite groups

A subgroup K of G is M_p-supplemented in G if there exists a subgroup B of G such that G = KB and TB < G for every maximal subgroup T of K with |K: T| = p^α. In this paper we prove the following: Let p be a prime divisor of |G| and let H be ap-nilpotent subgroup having a Sylow p-subgroup of G. Suppose that H has a subgroup D with D_p ≠ 1 and |H: D| = p_α. Then G is p-nilpotent if and only if every subgroup T of H with |T| = |D| is M_p-supplemented in G and N_G(T_p)/C_G(T_p) is a p-group.     

Neighbor sum distinguishing total chromatic number of <Emphasis Type="Italic">K</Emphasis><Subscript>4</Subscript>-minor free graph

A k-total coloring of a graph G is a mapping ?: V (G) ? E(G) → {1; 2,..., k} such that no two adjacent or incident elements in V (G) ? E(G) receive the same color. Let f(v) denote the sum of the color on the vertex v and the colors on all edges incident with v: We say that ? is a k-neighbor sum distinguishing total coloring of G if f(u) 6 ≠ f(v) for each edge uv ∈ E(G): Denote χ _Σ ^″ (G) the smallest value k in such a coloring of G: Pil?niak and Wo?niak conjectured that for any simple graph with maximum degree Δ(G), χ _Σ ^″ ≤ Δ(G)+3. In this paper, by using the famous Combinatorial Nullstellensatz, we prove that for K ₄-minor free graph G with Δ(G) > 5; χ _Σ ^″ = Δ(G) + 1 if G contains no two adjacent Δ-vertices, otherwise, χ _Σ ^″ (G) = Δ(G) + 2.