A two-parameter boundary problem for second order differential system

Summary This paper is concerned with second order differential systems involving two parameters with boundary conditions specified at three points. In particular, we consider the system y' = k(x, λ, μ)z, z' = -g(x, λ, μ)y, where k and g are real-valued junctions defined on X: a ≤ x ≤ c, L: L₁ < λ < L₂, and M: M₁ < μ < M₂. This system is studied together with the boundary conditions α(λ, μ)y(a) - β(λ, μ)z(a)=0, γ(λ, μ)y(b) - δ(λ, μ)z(b)=0, ε₁(μ)y(b) - φ₁(μ)z(b)=ε₂(μ)y(c) - φ₂(μ)z(c), where α, β, δ, γ, ε_i, φ_i, i=1, 2, are continuous functions of the parameters. This work establishes the existence of eigenvalue pairs for the boundary problem and the oscillatory behavior of the associated solutions. These results complement those previously obtained by the authors and B. D. Sleeman, where boundary conditions of the ? Sturm-Liouville ? type were studied. Entrata in Redazione il 5 dicembre 1977. The research for this paper was supported by a University College Reasearch Grant, University of Alabama in Birmingham.     

Some inequalities concerning the characteristic frequencies of elastic continuum

Summary We consider the boundary value problem αz″(x)+m(x)y(x)=0, αy″(x)+p(x)z(x)=0, xε[0, 1], y(0)=y(1)=z(0)=0, where the functions m(x) and p(x) are assumed integrable and positive everywhere in [0, 1]. As the main result we obtain the inequalities for n=1, 2, ... where δ_n(m, p) stands for the product of the first n eigenvalues α_i(m, p) of the above system and where δ_n(m) abbreviates δ_n(m, m). Entrata in Redazione il 6 febbraio 1976.     

An analysis of the solution set to a homotopy equation between polynomials with real coefficients

We investigate the structure of the solution setS to a homotopy equationH(Z,t)=0 between two polynomialsF andG with real coefficients in one complex variableZ. The mapH is represented asH(x+iy, t)=h ₁(x, y, t)+ih ₂(x, y, t), whereh ₁ andh ₂ are polynomials from ℝ² × [0,1] into ℝ and i is the imaginary unit. Since all the coefficients ofF andG are real, there is a polynomialh ₃ such thath ₂(x, y, t)=yh₃(x, y, t). Then the solution setS is divided into two sets {(x, t)∶h ₁(x, 0, t)=0} and {(x+iy, t)∶h ₁(x, y, t)=0,h ₃(x, y, t)=0}. Using this division, we make the structure ofS clear. Finally we briefly explain the structure of the solution set to a homotopy equation between polynomial systems with real coefficients in several variables.     

Singular integrals in the Cesàro sense

The existence of the singular integral ∫K(x, y)f(y)dy associated to a Calderón-Zygmund kernel where the integral is understood in the principal value sense TF(x)=lim_ε→0+∫_|x−y|>εK(x, y)f(y)dy has been well studied. In this paper we study the existence of the above integral in the Cesàro-α sense. More precisely, we study the existence of

Extensions of the measurable choice theorem by means of forcing

Using the method of forcing of set theory, we prove the following two theorems on the existence of measurable choice functions: LetT be the closed unit interval [0,1] and letm be the usual Lebesgue measure defined on the Borel subsets ofT. Theorem1. LetS⊂T×T be a Borel set such that for alltεT,S _t ^def={x|(t,x)εS} is countable and non-empty. Then there exists a countable series of Lebesgue-measurable functionsf _n: T→T such thatS _t={f_n(t)|nεω} for alltε[0,1],W _x={y|(x,y)εW} is uncountable. Then there exists a functionh:[0,1]×[0,1]→W with the following properties: (a) for each xε[0,1], the functionh(x,·) is one-one and ontoW _x and is Borel measurable; (b) for eachy, h(·, y) is Lebesgue measurable; (c) the functionh is Lebesgue measurable.     

A Cauchy problem for the heat equation

Summary Let u(x, t) satisfy the heat equation in 0<x<1, 0<t≤T. Let u(x, 0)=0 for 0<x<1 and let |u(0, t)|<ε, | u_x(0, t) |<ε, and | u(1, t) |<M for 0≤t≤T. Then, , where M₁ and β(x) are given explicitly by simple formulas. The application of the a priori bound to obtain error estimates for a numerical solution of the Cauchy problem for the heat equation with u(x, 0)=h(x), u(0, t)=f(t), and u_x(0, t)=g(t) is discussed. Work performed under the auspices of the U. S. Atomic Energy Commission.     

Mal’tsevh 0-algebras

Let Φ be an associative commutative ring with unity, 1/6 ∈ Φ, write A for a Mal’tsev algebra over Φ, suppose that on A, the function h(y, z, t, x, x)=2[{yz, t, x}x+{yx, z, x}t], where {x, y, z}=(xy)z−(xz)y+2x(yz), is defined, and assume that H(A) is a fully invariant ideal of A generated by the function h. The algebra A satisfying an identity h(y, z, x, x, x)=0 [h(y, z, t, x, x)=0] is called a Mal’tsev h₀-algebra (h-algebra). We prove that in any Mal’tsev h₀-algebra, the inclusion H(A)·A₂⊆Ann A holds withAnnA the annihilator of A. This means that any semiprime h₀-algebra A is an h-algebra. Every prime h₀-algebra A is a central simple algebra over the quotient field Λ of the center of its algebra of right multiplications, R(A), and is either a 7-dimensional non-Lie algebra or a 3-dimensional Lie algebra over Λ. Supported by RFFR grant No. 94-01-00381-a. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 214–227, March–April, 1996.     

On weighted approximation by Bernstein-Durrmeyer operators

In this paper, we consider weighted approximation by Bernstein-Durrmeyer operators in L_p[0, 1] (1≤p≤∞), where the weight function w(x)=x^α(1−x)^β,−1/p<α, β<1-1/p. We obtain the direct and converse theorems. As an important tool we use appropriate K-functionals. Supported by Zhejiang Provincial Science Foundation.     

Existence of positive solutions of higher-order quasilinear ordinary differential equations

In this paper the even-order quasilinear ordinary differential equation is considered under the hypotheses that n is even, D(α _i )x = (|x|αi−1 x)′, α _i > 0(i = 1,2,…, n), β > 0, and p(t) is a continuous, nonnegative, and eventually nontrivial function on an infinite interval [a, ∞), a > 0. The existence of positive solutions of (1.1) is discussed, and basic results to the classical equation are extended to the more general equation (1.1). In particular, necessary and sufficient integral conditions for the existence of positive solutions of (1.1) are established in the case α ₁α₂⋅s α _n ≠ β. This research was partially supported by Grant-in-Aid for Scientific Research (No. 15340048), Japan Society for the Promotion of Science. Mathematics Subject Classification (2000) 34C10, 34C11     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

Generalized semi-infinite optimization: A first order optimality condition and examples

We consider a generalized semi-infinite optimization problem (GSIP) of the form (GSIP) min{f(x)‖xεM}, where M={x∈ℝⁿ|h_i(x)=0i=l,...m, G(x,y)⩾0, y∈Y(x)} and all appearing functions are continuously differentiable. Furthermore, we assume that the setY(x) is compact for allx under consideration and the set-valued mappingY(.) is upper semi-continuous. The difference with a standard semi-infinite problem lies in thex-dependence of the index setY. We prove a first order necessary optimality condition of Fritz John type without assuming a constraint qualification or any kind of reduction approach. Moreover, we discuss some geometrical properties of the feasible setM. This work was partially supported by the “Deutsche Forschungsgemeinschaft” through the Graduiertenkolleg “Mathematische Optimierung” at the University of Trier.     

Die Entropie einer linear gebrochenen Funktion

Let the continuous broken linear transformationf of the unit interval into itself satisfyingf(0)=f(1)=0 be determined by the coordinates of its peak pointP (x, y). The topological entropyh off, as a function of (x, y), is zero outside the triangle max (x, 1–x)<y1. Inside it is shown to be nonzero, continuous, monotonically increasing both iny/x and iny/(1–x) and to assume its maximum log2 ony=1. The level curvec(h ₀) of constant corresponding entropyh ₀>0 is a continuous curve joining the two diagonalsy=x andy=1–x in whichh has discontinuities (jumping to zero). For 1/2log2<hlog 2 the curvesc(h) pass through (0,1) withy=1 as a tangent and fill up the area bounded below by the parabolay ²=1–x on whichh(x,y)=1/2 log 2. For 1/2 log 2 <h log 2 the curvec(h) is the image of the arc ofc(2h) between the hyperbolax ²–xy2x+1=0 and the diagonaly=1–x under the transformation .     

一类弱奇异边值问题的大范围收敛算法

该文研究如下的弱奇异边值问题: (p(x)y')'=f(x, y),0b₀g(x), 0≤b₀<1, 边值条件为y(0)=A,αy(1)+β y'(1)=γ 或y'(0)=0,αy(1)+βy'(1)=γ (R.K.Pandey 和 Arvind K.Singh 给出了一种求解此问题的二阶有限差分方法^[1]. 在再生核空间中讨论方程解的存在性, 给出一种新的迭代算法,这种迭代算法是大范围收敛的. 给出数值算例并与R. K. Pandey 和Arvind K.Singh 给出的方法进行比较说明该文方法的有效性.     

A nonlinear version of Roth's theorem for sets of positive density in the real line

It is proved that given ε>0, there is δ(ε)>0 such that ifS is a measurable set of [0,N], |S|>εN, then there is a triplex, x+h, x+h ² inS withh satisfyingh>δ(ε)N ^1/2. The argument is related to [B] and uses the behavior of certain non-linear convolution-type operators. The method can be adapted in a variety of situations. For instance, it can be used to prove the analogue of the previous statement with the square replaced by another power,h ³,h ⁴ etc.     

Analysis of FETI methods for multiscale PDEs

In this paper, we study a variant of the finite element tearing and interconnecting (FETI) method which is suitable for elliptic PDEs with highly heterogeneous (multiscale) coefficients α(x); in particular, coefficients with strong variation within subdomains and/or jumps that are not aligned with the subdomain interfaces. Using energy minimisation and cut-off arguments we can show rigorously that for an arbitrary (positive) coefficient function the condition number of the preconditioned FETI system can be bounded by C(α) (1 + log(H/h))² where H is the subdomain diameter and h is the mesh size, and where the function C(α) depends only on the coefficient variation in the vicinity of subdomain interfaces. In particular, if varies only mildly in a layer Ω _i,η of width η near the boundary of each of the subdomains Ω _i , then , independent of the variation of α in the remainder Ω _i \Ω _i,η of each subdomain and independent of any jumps of α across subdomain interfaces. The quadratic dependence of C(α) on H/η can be relaxed to a linear dependence under stronger assumptions on the behaviour of α in the interior of the subdomains. Our theoretical findings are confirmed in numerical tests. C. Pechstein was supported by the Austrian Science Funds (FWF) under grant F1306.     

Center conditions II: Parametric and model center problems

We consider an Abel equation (*)y’=p(x)y ² +q(x)y ³ withp(x), q(x) polynomials inx. A center condition for (*) (closely related to the classical center condition for polynomial vector fields on the plane) is thaty ₀=y(0)≡y(1) for any solutiony(x) of (*). We introduce a parametric version of this condition: an equation (**)y’=p(x)y ² +εq(x)y ³ p, q as above, ℂ, is said to have a parametric center, if for any ε and for any solutiony(ε,x) of (**),y(ε,0)≡y(ε,1). We show that the parametric center condition implies vanishing of all the momentsm _k (1), wherem _k (x)=∫ ₀ ^{x pk} (t)q(t)(dt),P(x)=∫ ₀ ^x p(t)dt. We investigate the structure of zeroes ofm _k (x) and on this base prove in some special cases a composition conjecture, stated in [10], for a parametric center problem. The research of the first and the third author was supported by the Israel Science Foundation, Grant No. 101/95-1 and by the Minerva Foundation.     

Scattering theory for perturbed stratified media

We study the operatorH = -c ² x,y)Μx,y)∇ · Μ ^-1 (x,y)∇, wherec andΜ are perturbations of functionsc ₀(y) andΜ ₀(y) which depend only on the one-dimensional variabley. In particular, we study the spatial asymptotics of lim_ε↺0(H - (λ +iε)²)^-1 applied to functions which have compact support or are otherwise well-behaved at infinity and relate the scattering matrix to the asymptotics of the generalized eigenfunctions. We then prove a trace formula for the operatorH in terms of the scattering phase, and, in a very special situation, use the trace formula to find spectral asymptotics forH. Partially supported by an NSF Postdoctoral Fellowship and the University of Missouri Research Board.     

Convolution properties of some classes of analytic functions

Let A denote the class of functions which are analytic in |z|<1 and normalized so that f(0)=0 and f′(0)=1, and let R(α, β)⊂A be the class of functions f such thatRe[f′(z)+αzf″(z)]>β,Re α>0, β<1. We determine conditions under which (i) f ∈ R(α₁, β₁), g ∈ R(α₂, β₂) implies that the convolution f×g of f and g is convex; (ii) f ∈ R(0, β₁), g ∈ R(0, β₂) implies that f×g is starlike; (iii) f≠A such that f′(z)[f(z)/z]^μ-1 ≺ 1 + λz, μ>0, 0<λ<1, is starlike, and (iv) f≠A such that f′(z)+αzf″(z) ≺ 1 + λz, α>0, δ>0, is convex or starlike. Bibliography: 16 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 138–154.     

On Lp-convergence of Grunwald interpolation

In this paper, the L_p-convergence of Grünwald interpolation G_n(f,x) based on the zeros of Jacobi polynomials J _n ^(α,β) (x)(−1<α,β<1) is considered. L_p-convergence (0<p<2) of Grünwald interpolation G_n(f,x) is proved for p·Max(α,β)<1. Moreover, L_p-convergence (p>0) of G_n(f,x) is obtained for −1<α,β≤0. Therefore, the results of [1] and [3–5] are improved.     

On local frequencies related to farey fractions

LetP ₁ andP ₂ be two sets of prime numbers and let ω(m,P_i)=#{p: p/m, pεP_i} (i=1,2) be two related additive functions ofm. For an irreducible positive fractionm/n, defineh(m/n)=ω(m, P ₁)+ω(n, P₂). In this paper the local frequenciesv _x{h(m/n)=s}=#{m/n ∈ F_x:h(m/n)=s}/#F_x are considered, whereF _x denotes the classical Farey series. Using the mean-value theorem for multiplicative functions of rational argument, a local limit theorem forv _x{h(m/n)=s} is proved. Research supported by the Lithuanian State Science and Studies Foundation. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 1, pp. 113–131, January–March, 2000. Translated by V. Stakènas