Bilateral difference method for solving the boundary value problem for an ordinary differential equation

A method is proposed for calculating the bilateral approximations of the solution of the boundary value problem on [0, 1] for the equation y+p(x)y-q(x)y=f(x) and the derivative of the solution having the maximum deviation O(h² (h)+h³) on {kh} _k ^N =0, where(t) is the sum of the continuity moduli of the functions p, q,f, on the set of points {kh} _k ^N =0, h=1/N by means of O(N) operations. The data obtained for fairly smooth p, q,f allow interpolation to be used for calculating the bilateral approximations of the solution and its higher derivatives having the maximum deviation O(h³) on [0, 1].Translated from Matematicheskie Zametkii, Vol. 11, No. 4, pp. 421–430, April, 1972.     

Existence and uniqueness of solutions to two point boundary value problems for ordinary differential equations

In this paper, using the optimal control method, we deal with the following boundary value problemy + f(x, y)=0,y(0)=c,y(1)=d, under new nonresonance conditions of the form –A f _y ^/ (x, y) (x) B, where A > 0. We obtain the existence and uniqueness of solutions of the BVP (1).     

On accuracy and unconditional stability of linear multistep methods for second order differential equations

Linear multistep methods for solution of the equationy=f(t, y) are studied by means of the test equationy=–² y, with real. It is shown that the order of accuracy cannot exceed 2 for an unconditionally stable method.This work was supported by the NASA-Ames Research Center, Moffett Field, California, under Interchange No. NCA2-OR745-712, while the author was a visitor at the Computer Science Department, Stanford University, Stanford, California.     

On a Model Problem for the Orr–Sommerfeld Equation with Linear Profile

A model spectral problem of the form -i)y+xy= y on the finite interval [-1,1] with the Dirichlet boundary conditions is considered. Here is the spectral parameter and is positive. The behavior of the spectrum of this problem as 0 is completely investigated. The limit curves are found to which the eigenvalues concentrate and the counting eigenvalue functions along these curves are obtained.     

Superstable implicit Runge-Kutta methods for second order initial value problems

Using the well known properties of thes-stage implicit Runge-Kutta methods for first order differential equations, single step methods of arbitrary order can be obtained for the direct integration of the general second order initial value problemsy=f(x, y, y),y(x _o)=y _o,y(x _o)=y _o. These methods when applied to the test equationy+2y+ ² y=0, ,0, +>0, are superstable with the exception of a finite number of isolated values ofh. These methods can be successfully used for solving singular perturbation problems for which f/y and/or f/y are negative and large. Numerical results demonstrate the efficiency of these methods.     

On the complete solution of ∈y″=y 3

In Ref. 1, the author claimed that the problem y=y ³ is soluble only for a certain range of the parameter . An analytic approach, as adopted in the following contribution, reveals that a unique solution exists for any positive value of . The solution is given in closed form by means of Jacobian elliptic functions, which can be numerically computed very efficiently. In the limit 0+, the solutions exhibit boundary-layer behavior at both endpoints. An easily interpretable approximate solution for small is obtained using a three-variable approach.     

On a transformation operator for a system of Sturm-Liouville equations

We prove the existence of a transformation operator with a condition at infinity that sends a solution of the matrix equation^–y + My=²y (M is a constant Hermitian matrix) into a solution of the matrix equation^–y+Q(x)y+My=²y (the matrix function Q(x) is continuously differentiable for 0 x< and it is Hermitian for each x belonging to [0, )); we study some properties of the kernel of the transformation operator.Translated from Matematicheskii Zametki, Vol. 11, No. 5, pp. 559–567, May, 1972.The authors express their thanks to B. M. Levitan for a discussion.     

On the Eigenvalues and Eigenfunctions of the Sturm--Liouville Operator with a Singular Potential

In this paper we consider the Sturm--Liouville operators generated by the differential expression -y+q(x)y and by Dirichlet boundary conditions on the closed interval [0,]. Here q(x) is a distribution of first order,, i.e., q(x)dx L ₂[0,]. Asymptotic formulas for the eigenvalues and eigenfunctions of such operators which depend on the smoothness degree of q(x) are obtained.     

A Note on the Oscillation of Second Order Differential Equations

We give a sufficient condition for the oscillation of linear homogeneous second order differential equation y + p(x)y + q(x)y = 0, where and is positive real number.     

Orderh 2 method for a singular two-point boundary value problem

A method is described based on auniform mesh for the singular two-point boundary value problem:y+(/x)y+f(x, y)=0, 0<x1,y(0)=0,y(1)=A, and it is shown to be orderh ² convergent forall 1.     

Some specifically nonlinear oscillation theorems

Sufficient conditions are obtained for the oscillation of all infinitely continuable solutions of the equation y+a(x)f (y)=0 for a wide class of nonlinearities; these conditions are not sufficient to establish the oscillation of solutions of y+a(x)y=0.Translated from Matematicheskie Zametki, Vol. 10, No. 2, pp. 129–134, August, 1971.     

Zur Aufllösung linearer homogener Differentialgleichungen 2. Ordnung

Summary By the transformationy(x)=v(u),u = exp (–G(x) dx) dx the differential equationDy+G(x)y+H(x)y=0 turns toT(u) ² v ^**+H v=0, wherev ^** signifiesd ² v/du ², andu=du/dx andH=H(x) should be expressed as functions ofu.From the solutionv(u) ofT follows immediately the solutiony(x) ofD, and vice versa.In this paper there are treated some of the types of differential equations, that may be solved by this method.     

Third-order variable-mesh cubic spline methods for nonlinear two-point singularly perturbed boundary-value problems

A family of third-order variable-mesh methods for singularly perturbed two-point boundary-value problems of the form y=f(x,y,y),y(a)=A, y(b)=B is derived. The convergence analysis is given, and the method is shown to have third-order convergence properties. Several test examples are solved to demonstrate the efficiency of the method.     

On the equation of similar profiles

Summary Considerf+ ff+ (1–f²)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.

---

Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f²)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).

     

Metrics with finite sets of primitive extensions

In this paper, we give a complete characterization for the class of rational finite metrics with the property that the set () of primitive extensions of is finite. Here, for a metric on a setT, a positive extensionm of to a setV T is calledprimitive if none of the convex combinations of other extensions of toV is less than or equal tom. Our main theorem asserts that the following the properties are equivalent: (i) () is finite; (ii) Up to an integer factor, is a submetric of the path metric d ^H of a graphH with |(d ^H )=1; (iii) A certain bipartite graph associated with contains neither isometrick-cycles withk6 nor induced subgraphsK _3,3 ^– . We then show that () is finite if and only if the dimension of the tight span of is at most two. We also present other results, discuss applications to multicommodity flows, and raise open problems.This research was supported by grant 97-01-00115 from the Russian Foundation of Basic Research and a grant from the Sonderforschungsbereich 343, Bielefeld Universität, Bielefeld, Germany.     

Tritronquée Solutions of Perturbed First Painlevé Equations

We consider solutions of the class of ODEs y=6y ²–x , which contains the first Painlevé equation (PI) for =1. It is well known that PI has a unique real solution (called a tritronquée solution) asymptotic to and decaying monotonically on the positive real line. We prove the existence and uniqueness of a corresponding solution for each real nonnegative 1.     

A geometrical approach to bifurcation for nonlinear boundary value problems

Summary In this note we use a new averaging method, which was introduced in [2], to explain the geometrical behaviour of systems governed by nonlinear boundary value problems of the formy+g(y)=K sin(t),y(0)=y(/)=0. We show by numerical computations that global features of the solutions (such as the number of solutions, their magnitude, bifurcation behaviour, etc.) agree in both the original and averaged model. As an example, the pendulum equation is discussed in detail.

---

Zusammenfassung In dieser Arbeit benutzen wir eine neue, in [2] eingeführte Mittelwertmethode, um das geometrische Verhalten nichtlinearer Randwertprobleme der Formy+g(y)=K sin(t),y(0)=y(/)=0. zu erklären. Wir belegen durch numerische Untersuchungen, daß globale Eigenschaften der Lösungen (wie z. B. die Anzahl der Lösungen, ihre Größenordnung, das Verzweigungsverhalten usw.) in der originalen und genäherten Gleichung übereinstimmen. Als Beispiel wird die Pendelgleichung ausführlich diskutiert.

---

---

Supported by the Deutsche Forschungsgemeinschaft under grant No. BA 735/3-1     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

The imaginary zeros of a mixed Bessel function

In the present work we study the existence and monotonicity properties of the imaginary zeros of the mixed Bessel functionM _v(z)=(z²+)J_v(z)+zJ_v(z). Such a function includes as particular cases the functionsJ _v(z)(==0), J_v(z)(=–v²,=1)x andH _v(z)=J_v(z)+zJ_v(z), whereJ _v(z) is the Bessel function of the first kind and of orderv>–1 andJ _v(z), J_v(z) are the first two derivatives ofJ _v(z). Upper and lower bounds found for the imaginary zeros of the functionsJ _v(z), J_v(z) andH _v(z) improve previously known bounds.

---

Zusammenfassung Dieser Artikel betrifft die Existenz und Monotonie von Eigenschaften imaginärer Nullen der gemischten BesselfunktionM _v(z)=(z²+)J_v(z)+zJ_v(z). Eine solche Funktion enthält als Spezialfall die FunktionenJ _v(z)(==0), J_v(z)(=–v²,=1) undH _v(z)=J_v(z)+zJ_v(z), woJ _v(z)die Besselfunktion von erster Art und Ordnungv>–1 andJ _v(z), J_v(z) sind die erste und zweite Ableitung vonJ _v(z). Untere und obere Schranken, die für die imaginären Nullen der FunktionenJ _v(z), J_v(z) undH _v(z) gefunden wurden, verbessern früher bekannte Resultate.

     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.