On the mixed problem for hyperbolic partial differential-functional equations of the first order

We consider the mixed problem for the hyperbolic partial differential-functional equation of the first order where is a function defined by z _(x,y)(t, s) = z(x + t, y + s), (t, s) [–, 0] × [0, h]. Using the method of bicharacteristics and the method of successive approximations for a certain integral-functional system we prove, under suitable assumptions, a theorem of the local existence of generalized solutions of this problem.     

On the existence of value in the Varaiya-Lin sense in differential games of pursuit and evasion

This paper is strictly related to Ref. 1. A pursuit-evasion game described in part by the system and is considered. The state variablesx andy are restricted, in the sense that (x(t),t) N ₁ and (y(t),t) N ₂. The existence of a value in the sense of Varaiya and Lin is proved under the assumption that the sets of all admissible trajectories for the two players are compact and the lower value is not greater than the upper value.     

Singular Dirichlet boundary value problems II: Resonance case

Existence results are established for the resonant problem y + _m a y = f(t, y) a.e. on [0, 1] with y satisfying Dirichlet boundary conditions. The problem is singular since f is a Carathéodory function, with a > 0 a.e. on [0, 1] and      

Oblique derivative problem for general Chaplygin-Rassias equations

The present paper deals with the oblique derivative problem for general second order equations of mixed (elliptic-hyperbolic) type with the nonsmooth parabolic degenerate line K_1(y)u_(xx) |K_2(x)|u_(yy) a(x,y)u_x b(x, y)u_y c(x,y)u=-d(x,y) in any plane domain D with the boundary D=Γ∪L_1∪L_2∪L_3∪L_4, whereΓ(■{y>0})∈C_μ~2 (0<μ<1) is a curve with the end points z=-1,1. L_1, L_2, L_3, L_4 are four characteristics with the slopes -H_2(x)/H_1(y), H_2(x)/H_1(y),-H_2(x)/H_1(y), H_2(x)/H_1(y)(H_1(y)=|k_1(y)|~(1/2), H_2(x)=|K_2(x)|~(1/2) in {y<0}) passing through the points z=x iy=-1,0,0,1 respectively. And the boundary condition possesses the form 1/2 u/v=1/H(x,y)Re[λuz]=r(z), z∈Γ∪L_1∪L_4, Im[λ(z)uz]|_(z=z_l)=b_l, l=1,2, u(-1)=b_0, u(1)=b_3, in which z_1, z_2 are the intersection points of L_1, L_2, L_3, L_4 respectively. The above equations can be called the general Chaplygin-Rassias equations, which include the Chaplygin-Rassias equations K_1(y)(M_2(x)u_x)_x M_1(x)(K_2(y)u_y)_y r(x,y)u=f(x,y), in D as their special case. The above boundary value problem includes the Tricomi problem of the Chaplygin equation: K(y)u_(xx) u_(yy)=0 with the boundary condition u(z)=φ(z) onΓ∪L_1∪L_4 as a special case. Firstly some estimates and the existence of solutions of the corresponding boundary value problems for the degenerate elliptic and hyperbolic equations of second order are discussed. Secondly, the solvability of the Tricomi problem, the oblique derivative problem and Frankl problem for the general Chaplygin- Rassias equations are proved. The used method in this paper is different from those in other papers, because the new notations W(z)=W(x iy)=u_z=[H_1(y)u_x-iH_2(x)u_y]/2 in the elliptic domain and W(z)=W(x jy)=u_z=[H_1(y)u_x-jH_2(x)u_y]/2 in the hyperbolic domain are introduced for the first time, such that the second order equations of mixed type can be reduced to the mixed complex equations of first order with singular coefficients. And thirdly, the advantage of complex analytic method is used, otherwise the complex analytic method cannot be applied.     

New closure conditions and some problems in loop theory

A loopQ(·) is said to be anA _l-loop (A _r-loop) if x, y Q, l _x,y AutQ (r _x,y AutQ) hold, where

Homomorphisms between Poisson JC*-Algebras

It is shown that every almost linear mapping of a unital Poisson JC*-algebra to a unital Poisson JC*-algebra is a Poisson JC*-algebra homomorphism when h(2 ⁿ uy) = h(2 ⁿ u) h(y), h(3 ⁿ u y) = h(3 ⁿ u) h(y) or h(q ⁿ u y) = h(q ⁿ u) h(y) for all , all unitary elements and n = 0, 1, 2, · · · , and that every almost linear almost multiplicative mapping is a Poisson JC*-algebra homomorphism when h(2x) = 2h(x), h(3x) = 3h(x) or h(qx) = qh(x) for all . Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings or in the almost linear almost multiplicative mappings.Moreover, we prove the Cauchy–Rassias stability of Poisson JC*-algebra homomorphisms in Poisson JC*-algebras.*This work was supported by grant No. R05-2003-000-10006-0 from the Basic Research Program of the Korea Science & Engineering Foundation.     

Implicitly defined optimization problems

This paper considers the solution of the problem: inff[y, x(y)] s.t.y [y, x(y)] E ^k , wherex(y) solves: minF(x, y) s.t.x R(x, y) E ⁿ . In order to obtain local solutions, a first-order algorithm, which uses {dx(y)/dy} for solving a special case of the implicitly definedy-problem, is given. The derivative is obtained from {dx(y, r)/dy}, wherer is a penalty function parameter and {x(y, r)} are approximations to the solution of thex-problem given by a sequential minimization algorithm. Conditions are stated under whichx(y, r) and {dx(y, r)/dy} exist. The computation of {dx(y, r)/dy} requires the availability of _y F(x, y) and the partial derivatives of the other functions defining the setR(x, y) with respect to the parametersy.Research sponsored by National Science Foundation Grant ECS-8709795 and Office of Naval Research Contract N00014-89-J-1537. We thank the referees for constructive comments on an earlier version of this paper.     

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

Infinite dimensional multipoint methods and the solution of two point boundary value problems

Consider the problem of determining the roots of an equation of the formF() =0 whereF maps the Banach spaceX into itself. Convergence theorems for the iterative solution ofF() =0 are proved for multipoint algorithms of the form _n+1= _n - ( _n ), 1, where and ₀()=0. The theorems are applied to the solution of two point boundary value problems of the form =f (y, t), g(y(0))+h(y(1))=c. A set {A(t),B,C} of matrices is called boundary compatible if the linear two point boundary value problem =A(t)) y+k (t),B y (0) + C y (1) = d has a unique solution for allk (t) andd. Then, under certain conditions, there are boundary compatible sets such that the problem =f (y, t),g (y (0) ) +h (y (1)) =c has the equivalent integral representation where and are Green's matrices for the linear problem =A(t)y +k(t),B y (0) +C y (1) =d. Eq. (i) is viewed as an operator equation of the formF (x) =(I-T) (x) = 0 and convergence conditions for the iterative solution of (i) are deduced from the general theorems. Explicit interpretations of the convergence results are given in terms off, g, h and some illustrative numerical examples are presented.This research has been supported by the National Aeronautics and Space Administration under Grant No. NGR-40-002-015.This research has been supported by the National Science Foundation under Grant No. GK-2788.     

Fast-decaying potentials on the finite-gap background and the\bar \partial - problem on the Riemann surfaces

The direct and the inverse scattering problems for the heat-conductivity operator are studied for the following class of potentials:u(x,y)=u _o (x,y)+u ₁(x,y), whereu _o (x,y) is a nonsingular real finite-gap potential andu ₁(x,y) decays sufficiently fast asx ²+y². We show that the scattering data for such potentials is the data on the Riemann surface corresponding to the potentialu _o (x,y). The scattering data corresponding to real potentials is characterized and it is proved that the inverse problem corresponding to such data has a unique nonsingular solution without the small norm assumption. Analogs of these results for the fixed negative energy scattering problem for the two-dimensional time-independent Schrödinger operator are obtained.L. D. Landau Institute for Theoretical Physics, Kosygina 2, GSP-1, Moscow 177940, Russia. E-mail: pgg@cpd.landau.free.net. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 99, No. 2, pp. 300–308, May, 1994.     

On the Existence of Solutions for Some Nondegenerate Nonlinear Wave Equations of Kirchhoff Type

Let be a bounded domain in #x211D;ⁿ with a smooth boundary . In this work we study the existence of solutions for the following boundary value problem:

On quadratic differences that depend on the product of arguments - revisited

Summary. Let be a field of real or complex numbers and denote the set of nonzero elements of . Let be an abelian group. In this paper, we solve the functional equation f ₁ (x + y) + f ₂ (x - y) = f ₃ (x) + f ₄ (y) + g(xy) by modifying the domain of the unknown functions f ₃, f ₄, and g from to and using a method different from [3]. Using this result, we determine all functions f defined on and taking values on such that the difference f(x + y) + f (x - y) - 2 f(x) - 2 f(y) depends only on the product xy for all x and y in      

On Singular Functional Differential Inequalities

Classical theorems on differential inequalities [1, 2, 3] are generalized for initial value problems of the kind and where is a singular Volterra operator, is continuous and positive on ]a, b], is a norm in R ⁿ, and [u]₊ and [u]_– are respectively the positive and the negative part of the vector u R ⁿ.     

Brownian bridges on Riemannian manifolds

We study properties of Brownian bridges on a complete Riemannian manifoldM. LetQ _x,y ^t be the law of Brownian bridge fromx toy with lifetimet. Q _x,y ^t is a probability measure on the space _x,y of continuous paths with (0)=x and (1)=y. We prove thatQ _x,y ^t possesses the large deviation property with the rate function

An asymmetric inequality for non-homogeneous ternary quadratic forms

LetQ(x,y,z) be an indefinite ternary quadratic form of type (2,1) and determinantD(<0). Let 0≤t≤1/3 and \(f(t) = \frac{4}{{(1 + t)^2 (1 + 5t)}}\) . Then given any real numbersx ₀,y ₀,z ₀ there exist integersx,y,z satisfying $$ - t(f(t)|D|)^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}}< Q (x + x_0 ,y + y_0 ,z + z_0 ) \leqslant (f(t)|D|)^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} $$ All the cases when equality holds are also obtained.     

On global transformations of ordinary differential equations of the second order

The paper describes the general form of an ordinary differential equation of the second order which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form

A multi-step method for the numerical integration of ordinary differential equations

Summary In this paper we develop a multi-step method of order nine for obtaining an approximate solution of the initial value problemy'=f(x,y),y((x₀)=y ₀. The present method makes use of the second derivatives, namely, at the grid points. A sufficient criterion for the convergence of the iteration procedure is established. Analysis of the discretization error is performed. Various numerical examples are presented to demonstrate the practical usefulness of our integration method.

---

Zusammenfassung In dieser Arbeit entwickeln wir eine mehrschrittige Methode der neunten Ordnung, um eine angenäherte Lösung des Anfangswertproblemsy'=f(x, y), y(x ₀)=y ₀. zu erhalten. Diese Methode bedient sich der Ableitungen zweiter Ordnung an den Schnittpunkten, d.h. . Ein hinreichendes Kriterium für die Konvergenz des Iterationsprozesses wird aufgestellt. Eine Analyse des Diskretionsfehlers ist durchgeführt. Verschiedene numerische Beispiele sollen den praktischen Nutzen unserer Integrationsmethode beweisen.

     

On a conditional Gołab-Schinzel equation

Let We show that for every function satisfying the conditional equation

Limit theorems for transient diffusions on the line

Summary LetX be a diffusion in natural scale on (0,1], with 1 reflecting, and letc(x)(H _x ) andv(x)var (H _x ), whereH _x =inf{t: X _t =x}. Let _x =sup{t:X _t =x}. The main results of this paper are firstly that (i)c is slowly varying; (ii) are all equivalent: and secondly that (v) are all equivalent, and are implied by the condition . Other partial results for more general limit theorems are proved, and new results on regular variation are established.