Measurable solutions of a (2, 2)-type sum form functional equation

Summary In this paper we find the general measurable solutions of the functional equationF(xy) + F(x(1 – y)) – F((1 – x)y) – F((1 – x)(1 – y)) = G(x)H(y) (x, y ]0, 1[) whereF, G, H:]0, 1[ C are unknown functions. The solution of this equation is part of our program to determine the measurable solutions of the functional equationF ₁₁ (xy) + F ₁₂ (x(1 – y)) + F ₂₁ ((1 – x)y) + F ₂₂ ((1 – x)(1 – y)) = G(x)H(y) (x, y ]0, 1[). Our method of solution is based on the structure theorem of sum form equations of (2, 2)-type and on a result of B. Ebanks and the author concerning the linear independence of certain functions.     

Asymptotics of Spectral Data of a Harmonic Oscillator Perturbed by a Potential

Asymptotics of spectral data of a perturbed harmonic oscillator −y″ + x²y + q(x)y are obtained for potentials q(x) such that q′, xq ∈ L²(ℝ). These results are important in the solution of the corresponding inverse spectral problem. Bibliography: 7 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 303, 2003, pp. 223–271.     

Convergence of the method of lines for the first periodic boundary-value problem for a second-order nonlinear parabolic equation

For solving the first generalized periodic boundary-value problem in the case of a second-order quasilinear parabolic equation of form with periodic condition and boundary conditions there is examined a longitudinal variant of the method of lines, reducing the solving of problem (1)–(3) to the solving of a two-point problem for a system ofN ^-1 first-order ordinary differential equations of form with the two-point conditions An error estimate is established. The convergence of the solutions of problem (4)–(5) to the generalized solution of problem (1)–(3) is established for two methods of choosing the functions. Convergence with orderh ² is guaranteed under the assumption of square-integrability of the third derivative of the solution of problem (1)–(3).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 90, pp. 268–276, 1979.     

Green's function of a weakly nonhomogeneous waveguide

One constructs the uniform asymptotic expansion, with respect to a small parameter , of the solution of the problem: [ + k² (x, y)]u(x,y) =(x–x_o)·(y–y_o), u(x,0)=u(x, H)=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 128, pp. 139–148, 1983.The author expresses his gratitude to N. Sh. Uryson and B. P. Belinskii for interesting discussions.     

Controllability of the wave equation with moving point control

This paper deals with approximate and exact controllability of the wave equation in finite time with interior point control acting along a curve specified in advance in the system's spatial domain. The structure of the control input is dual to the structure of the observations which describe the measurements of velocity and gradient of the solution of the dual system, obtained from the moving point sensor. A relevant formalization of such a control problem is discussed, based on transposition. For any given timeinterval [0,T] the existence of the curves providing approximate controllability inH _D ^–[n/2]–1 ()×H _D ^–[n/2]–1 () (wheren stands for the space dimension) is established with controls fromL ²(0,T; R ⁿ +1). The same curves ensure exact controllability inL ²() × H^–1() if controls are allowed to be selected in [L (0,T; R ⁿ+1)]. Required curves can be constructed to be continuous on [0,T).This work was supported in part by NSF Grant ECS 89-13773 and NASA Grant NAG-1-1081.     

Difference schemes for fourth-order one-dimensional equations with nonlinear boundary condition

A difference scheme is constructed for a boundary-value problem for a one-dimensional biharmonic equation with nonlinear boundary condition. Under the hypothesis that the exact solution of the problem belongs to the Sobolev space W ₂ ^k(),k [2, 4], in the lattice norm L ₂ (), an estimate is obtained of the precision of the difference scheme to O(h^k–1,5).Translated fromVychislitel'naya i Prikladnaya Matematika, No. 69, pp. 43–50, 1989.     

Error estimates for a class of quadrature formulae

The problem considered is that of estimating the error of a class of quadrature formulae for _–1 ¹ w _r (x)f(x)dx, (w _r (x) being a positive weight-function), where only values off(x) in (–1,1) and off(x) and its derivatives at the end-points of the interval are considered.     

Nonhomogeneous Neumann problem for the Poisson equation in domains with an external cusp

In this work we analyze the existence and regularity of the solution of a nonhomogeneous Neumann problem for the Poisson equation in a plane domain Ω with an external cusp. In order to prove that there exists a unique solution in H¹(Ω) using the Lax–Milgram theorem we need to apply a trace theorem. Since Ω is not a Lipschitz domain, the standard trace theorem for H¹(Ω) does not apply, in fact the restriction of H¹(Ω) functions is not necessarily in L²(∂Ω). So, we introduce a trace theorem by using weighted Sobolev norms in Ω. Under appropriate assumptions we prove that the solution of our problem is in H²(Ω) and we obtain an a priori estimate for the second derivatives of the solution.     

A generalized solution in W2 1(0,1) of a problem concerning the deflection of a beam

A new method is proposed for formulating a boundary-value problem for a fourth-order ordinary differential equation with a solution in W₂ ¹(0, 1). This generalized formulation is based on a system of second-order equations with coefficients in W₂ ^–1 (0, 1). The existence and uniqueness of the indicated solution in this class is proven.Translated fromVychislitel'naya i Prikladnaya Matematika, No. 69, pp. 90–96, 1989.     

On the Stabilization of a Solution of the Cauchy Problem for One Class of Integro-Differential Equations

We consider a solution of the Cauchy problem u(t, x), t > 0, x ∈ R ², for one class of integro-differential equations. These equations have the following specific feature: the matrix of the coefficients of higher derivatives is degenerate for all x. We establish conditions for the existence of the limit lim _t→∞ u(t, x) = v(x) and represent the solution of the Cauchy problem in explicit form in terms of the coefficients of the equation.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 12, pp. 1699 – 1706, December, 2004.     

On the existence of certain cyclic difference families and difference matrices

A theorem is proved to the effect that if there exists a BIB-schema with parameters (p^m–1,k, k–1), where k¦(p^m–1), p is prime, and m is a natural number, then there exists a BIB-schema (p^mn–1),k, k–1). A consequence is the existnece of a cyclic BIB-schema (p^mn–1, p^m–1, p^m–2) (p^m–1 is prime) that specifies each ordered pair of difference elements at any distance = 1, 2, ..., p^m–2 (cyclically) precisely once. Recursive theorems on the existence of difference matrices and (v, k, k)-difference families in the group Z_v of residue classes mod v are proved, along with a theorem on difference families in an additive abelian group.Translated from Matematicheskie Zametki, Vol. 52, No. 1, pp. 114–119, July, 1992.     

Pointwise estimation of comonotone approximation

We prove that, for a continuous functionf(x) defined on the interval [–1,1] and having finitely many intervals where it is either nonincreasing or nondecreasing, one can always find a sequence of polynomialsP _n (x) with the same local properties of monotonicity as the functionf(x) and such that ¦f(x)–P _n (x) ¦C₂(f;n^–2+n ^–11–x ²), whereC is a constant that depends on the length of the smallest interval.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 11, pp. 1467–1472, November, 1994.The author is grateful to Prof. I. A. Shevchuk for his permanent attention to the work.     

Control of stochastic distributed-parameter systems

A scheme is proposed for the feedback control of distributed-parameter systems with unknown boundary and volume disturbances and observation errors. The scheme consists of employing a nonlinear filter in the control loop such that the controller uses the optimal estimates of the state of the system. A theoretical comparison of feedback proportional control of a styrene polymerization reactor with and without filtering is presented. It is indicated how an approximate filter can be constructed, greatly reducing the amount of computing required.Notation a(t) l-vector noisy dynamic input to system - A(t, a) l-vector function - A frequency factor for first-order rate law (5.68×10⁶ sec^–1) - b distance to the centerline between two coil banks in the reactor (4.7 cm) - B k-vector function defining the control action - c(, ) concentration of styrene monomer, molel ^–1 - C _p heat capacity (0.43 cal · g^–1 · K^–1) - C _ij constants in approximate filter, Eqs. (49)–(52) - E activation energy (20330 cal · mole^–1) - expectation operator - f(t,...) n-vector function - g ₀,g ₁(t,...) n-vector functions - h(t, u) m-vector function relating observations to states - H(t) function defined in Eq. (36) - k dimensionality of control vectorv(x, t) - k _i constants in approximate filter, Eqs. (49)–(52) - K dimensionless proportional gain - l dimensionality of dynamic inputa(t) - m dimensionality of observation vectory(t) - n dimensionality of state vectoru(x, t) - P ^(vv)(x, s, t) n×n matrix governed by Eq. (9) - P ^(va)(x, t) n×l matrix governed by Eq. (10) - P ^(aa)(t) l×l matrix governed by Eq. (11) - q _i (t) diagonal elements ofm×m matrixQ(x, s, t) - Q(x, s, t) m×m weighting matrix - R universal gas constant (1.987 cal · mole^–1 · K^–1) - R(x, s, t) n×n weighting matrix - R _i (t) n×n weighting matrix - s dimensionless spatial variable - S(x, s, t) matrix defined in Eq. (11) - t dimensionless time variable - T(, ) temperature, K - u(x, t) n-dimensional state vector - u _c (t) wall temperature - u _d desired value ofu ₁(1,t) - u _c * reference control value ofu _c - u _c ^max maximum value ofu _c - u _c ^min minimum value of _c - v(x, t) k-dimensional control vector - W(t) l×l weighting matrix - x dimensionless spatial variable - y(t) m-dimensional observation vector - _i constants in approximate filter, Eqs. (49)–(52) - dimensionless parameter defined in Eq. (29) - H heat of reaction (17500 cal · mole^–1) - dimensionless activation energy, defined in Eq. (29) - (x) Dirac delta function - (x, t) m-dimensional observation noise - thermal conductivity (0.43×10^–3 cal · cm^–1 · sec^–1 · K^–1) - density (1 g · cm^–3) - time, sec - dimensionless parameter defined in Eq. (29) - spatial variable, cm - * reference value - ^ estimated value     

The generating elements of certain Volterra operators connected with third- and fourth-order differential operators

Sufficient conditions are established forf (x) to be the generating function for the Volterra operator which is inverse to the Cauchy operator:l [y]=y⁽ⁿ⁾+p₂(x)y^(n–2) + ... +pn(x)y, y(0)=y(0)=...=y^(n–1)(0)=0 (n=3, 4), when the coefficients pi(x) are not analytic.Translated from Matematicheskie Zametki, Vol. 3, No. 6, pp. 715–720, June, 1968.     

Über die existenz und eindeutigkeit einer lösung für ein randwertproblem für eine gleichung vom gemischten typ in einem rechteck

In the paper a boundary value problem is studied for the equation of mixed typek(y)u_xx + u_yy + r(x, y)u = f(x, y) in the rectangular domain {(x, y)| ?1 < x < +1, y_c < y < y_H} with y_c < 0, y_H > 0, k(y) = sign y|y|^m, m > 0 (and more generally for a function k = k(y) with k(O) = 0, k(y)y > O for y ≠ O). Specific for the stated problem is that no data are prescribed on the line {(x, y_c), ?1 < x < +1}. It is proved that the formulated problem is well-posed in the sense that there is at most one quasi-regular solution and that a generalized solution exists. The energy-integral-(abc-)method is used to show uniqueness and to obtain an apriori estimate for the solution of the adjoint problem whence the existence statement follows.     

Generalized solutions of a stochastic partial differential equation

We discuss the Cauchy problem of a certain stochastic parabolic partial differential equation arising in the nonlinear filtering theory, where the initial data and the nonhomogeneous noise term of the equation are given by Schwartz distributions. The generalized (distributional) solution is represented by a partial (conditional) generalized expectation ofT(t)° _0,t ^–1 , whereT(t) is a stochastic process with values in distributions and _s,t is a stochastic flow generated by a certain stochastic differential equation. The representation is used for getting estimates of the solution with respect to Sobolev norms.Further, by applying the partial Malliavin calculus of Kusuoka-Stroock, we show that any generalized solution is aC -function under a condition similar to Hörmander's hypoellipticity condition.     

Routing through a generalized switchbox

We present an algorithm for the routing problem for two-terminal nets in generalized switchboxes. A generalized switchbox is any subset R of the planar rectangular grid with no nontrivial holes, i.e., every finite face has exactly four incident vertices. A net is a pair of nodes of nonmaximal degree on the boundary of R. A solution is a set of edge-disjoint paths, one for each net. Our algorithm solves standard generalized switchbox routing problems in time O(n(log n)²) where n is the number of vertices of R, i.e., it either finds a solution or indicates that there is none. A problem is standard if deg(ν) + ter(ν) is even for all vertices ν where deg(ν) is the degree of ν and ter(ν) is the number of nets which have ν as a terminal. For nonstandard problems we can find a solution in time O(n(log n)² + |U|²) where U is the set of vertices ν with deg(ν) + ter(ν) is odd.     

Minimal submanifolds in a Riemannian manifold with pinched positive curvature

In this paper, we prove the following result: LetM be ann-dimensional compact curvature-invariant minimal subinanifoid immersed in a(> 2n–2/5n–2)- pinched Riemannian manifoldN. Denote by the second fundamental form ofM. If ¦¦²<3/9((5n–2)–2(n–1)), thenM is totally geodesic. This result generalizes the Simons pinching theorem.Supported by the JSPS postdoctoral fellowship and NSF of China.     

An integral criterion for oscillation of linear differential equations of second order

It is proved that if for some n>2 the function x^1–nA_n(x), where A_n(x) is the n-th primitive ofa(x), is not bounded above, then the equation y +a(x)y = 0 oscillates.Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 249–251, February, 1978.In conclusion, I thank R. S. Ismagilov for useful discussions about the problem of osillation.     

An inverse polynomial method for the identification of the leading coefficient in the Sturm–Liouville operator from boundary measurements

An inverse polynomial method of determining the unknown leading coefficient k=k(x) of the linear Sturm–Liouville operator Au=−(k(x)u^′(x))^′+q(x)u(x), x(0,1), is presented. As an additional condition only two measured data at the boundary (x=0,x=1) are used. In absence of a singular point (u^′(x)≠0,u^″(x)≠0,x[0,1]) the inverse problem is classified as a well-conditioned . If there exists at least one singular point, then the inverse problem is classified as moderately ill-conditioned (u^′(x₀)=0,x₀(0,1);u^′(x)≠0,x≠x₀;u^″(x)≠0,x[0,1]) and severely ill-conditioned (u^′(x₀)=u^″(x₀)=0,x₀(0,1);u^′(x)≠0,u^″(x)≠0,x≠x₀). For each of the cases direct problem solution is approximated by corresponding polynomials and the inverse problem is reformulated as a Cauchy problem for to the first order differential equation with respect the unknown function k=k(x). An approximate analytical solution of the each Cauchy problems are derived in explicit form. Numerical simulations all the above cases are given for noise free and noisy data. An accuracy of the presented approach is demonstrated on numerical test solutions.