Proof of the favard theorem on the existence of almost-periodic solution for an arbitrary Banach space

The well-known Favard-Amerio theorem on the existence of an almost-periodic solution of a linear equation is based on the geometry of a uniformly convex space, since the almost-periodic solution is found by the minimax condition. In the present note an essentially different method for finding the almost-periodic solution is developed, which enables us to prove the Favard-Amerio theorem for an arbitrary Banach space.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 121–126, January, 1978.     

Helly-type theorems for pseudoline arrangements in P2

We prove duals of Radon's theorem, Helly's theorem, Carathéodory's theorem, and Kirchberger's theorem for arrangements of pseudolines in the real projective plane, which generalize the original versions of those theorems for plane configurations of points. We also prove a topological generalization of the pseudoline-dual of Helly's theorem.     

Singular Perturbation Elliptic Boundary-Value Problems in the Case of a Nonisolated Root of the Degenerate Equation

For a singularly perturbed elliptic equation (the Neumann boundary-value problem), we prove a theorem on the passage to the limit for the case in which the degenerate equation has a nonisolated root.__________Translated from Matematicheskie Zametki, vol. 78, no. 1, 2005, pp. 26–36.Original Russian Text Copyright © 2005 by V. F. Butuzov, M. A. Terent’ev.     

Local existence of the solution to the initial‐boundary value problem in nonlinear thermomicroelasticity theory

We prove a theorem about local existence (in time) of the solution to the first initial‐boundary value problem for a nonlinear system of equation of the thermomicroelasticity theory. At first, we prove existence, uniqueness and regularity of the solution to this problem for the associated linearized system by using the method of semi‐group theory. Next, basing on this theorem, we prove an energy estimate for the solution to the linearized system by applying the method of Sobolev space. At the end, using the Banach fixed point theorem, we prove that the solution of our nonlinear problem exists and is unique. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence and conservation laws for the Boltzmann–Fermi–Dirac equation in a general domain

We prove an existence theorem for the Boltzmann–Fermi–Dirac equation for integrable collision kernels in possibly bounded domains with specular reflection at the boundaries, using the characteristic lines of the free transport. We then obtain that the solution satisfies the local conservations of mass, momentum and kinetic energy thanks to a dispersion technique.     

Vortex equation in holomorphic line bundle over complex manifold

In this note we study the vortex equation in holomorphic line bundle over non-Kähler complex manifolds. We prove a existence theorem to that equation by means of the upper and lower solution method to some Kazdan-Warner type equation.     

On the problem of stochastic differential inclusions

In this paper we study a stochastic differential equation with multivalued maximally monotone drift operator. Under certain assumptions on the growth of the multivalued operator we prove a theorem on the existence and uniqueness of the solution of such an equation.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 54–59, 1987.     

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.     

On the asymptotic stability of discontinuous systems analysed via the averaging method

The averaging method is one of the most powerful methods used to analyse differential equations appearing in the study of nonlinear problems. The idea behind the averaging method is to replace the original equation by an averaged equation with simple structure and close solutions. A large number of practical problems lead to differential equations with discontinuous right-hand sides. In a rigorous theory of such systems, developed by Filippov, solutions of a differential equation with discontinuous right-hand side are regarded as being solutions to a special differential inclusion with upper semi-continuous right-hand side. The averaging method was studied for such inclusions by many authors using different and rather restrictive conditions on the regularity of the averaged inclusion. In this paper we prove natural extensions of Bogolyubov’s first theorem and the Samoilenko-Stanzhitskii theorem to differential inclusions with an upper semi-continuous right-hand side. We prove that the solution set of the original differential inclusion is contained in a neighbourhood of the solution set of the averaged one. The extension of Bogolyubov’s theorem concerns finite time intervals, while the extension of the Samoilenko-Stanzhitskii theorem deals with solutions defined on the infinite interval. The averaged inclusion is defined as a special upper limit and no additional condition on its regularity is required.     

Interval expansion method for nonlinear equation in several variables

An interval expansion method is presented to find the solution of nonlinear equation in several variables with guaranteed accuracy. In this method, the existence theorem for the solution of nonlinear equation is obtained by using two newly defined operators. A new algorithm for solving nonlinear equation in several variables is given. Furthermore, we prove that the new method is global convergent under mild conditions.     

An existence theorem for a generalized self-dual Chern–Simons equation and its application

In this paper, we establish an existence theorem for a generalized self-dual Chern–Simons equation over a doubly periodic domain and use the existence theorem to prove the existence of doubly periodic self-dual vortices in a Maxwell–Chern–Simons model with non-minimal coupling. We find a necessary and sufficient condition for the existence of solutions of the generalized Chern–Simons equation. We prove the existence result by using two methods, a super- and sub-solution method and a constrained minimization method. Our main contribution is that we find a general inequality-type constraint by using the second method and it maybe applied to some related problems with the similar structures.     

Implicit Multifunction Theorems

We prove a general implicit function theorem for multifunctions with a metric estimate on the implicit multifunction and a characterization of its coderivative. Traditional open covering theorems, stability results, and sufficient conditions for a multifunction to be metrically regular or pseudo-Lipschitzian can be deduced from this implicit function theorem. We prove this implicit multifunction theorem by reducing it to an implicit function/solvability theorem for functions. This approach can also be used to prove the Robinson–Ursescu open mapping theorem. As a tool for this alternative proof of the Robinson–Ursescu theorem, we also establish a refined version of the multidirectional mean value inequality which is of independent interest.     

齐次群上二阶半线性偏微分方程的一类Picone型恒等式和Sturmian比较定理

本文给出了齐次群上的一类广义Picone型恒等式,由此证明了以下半线性方程组(其中 表示齐次群上的广义梯度)的Sturmian比较定理及一类振荡定理,并用于Heisenberg群上一类半线性方程.然后利用这里的广义Picone型恒等式证明了Heisenberg群上一类更一般的Hardv型不等式     

Methods for solving a singular integral equation with Cauchy kernel on the real line

We study exact and approximate methods for solving a singular integral equation with Cauchy kernel on the real line. On the basis of the theory of positive operators, we prove an existence and uniqueness theorem for this equation in the space of Lebesgue square integrable functions. This theorem is then used to give a theoretical justification of general projection and projection-iteration methods as well as an iteration method for solving this equation.     

Approximation of a bounded solution of a linear difference equation on Z2 by solutions of corresponding boundary-value problems in a Banach space

We study the problem of existence and uniqueness of solutions of boundary-value difference problems in a Banach space that correspond to a certain difference equation on Z². We prove a theorem on approximation of the unique bounded solution of the considered equation by solutions of the corresponding boundary-value problems.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 4, pp. 535–541, April, 1995.     

Limit Theorem for Controlled Backward SDEs and Homogenization of Hamilton–Jacobi–Bellman Equations

We prove a convergence theorem for a family of value functions associated with stochastic control problems whose cost functions are defined by backward stochastic differential equations. The limit function is characterized as a viscosity solution to a fully nonlinear partial differential equation of second order. The key assumption we use in our approach is shown to be a necessary and sufficient assumption for the homogenizability of the control problem. The results generalize partially homogenization problems for Hamilton–Jacobi–Bellman equations treated recently by Alvarez and Bardi by viscosity solution methods. In contrast to their approach, we use mainly probabilistic arguments, and discuss a stochastic control interpretation for the limit equation.     

A Hopf bifurcation theorem for difference equations approximating a differential equation

If an ordinary differential equation is discretizised near an asymptotically stable stationary solution with a pair of imaginary eigenvalues by Euler's method with constant step lengthh, small invariant attracting cycles of radiusO(h ^1/2) will appear. This Hopf bifurcation theorem is applied to prove the existence of limit cycles in certain difference equations occurring in biomathematics (hypercycle, two loci-two alleles) and is also extended to general Runge—Kutta methods.     

Colorful subgraphs in Kneser-like graphs

Combining Ky Fan’s theorem with ideas of Greene and Matoušek we prove a generalization of Dol’nikov’s theorem. Using another variant of the Borsuk–Ulam theorem due to Tucker and Bacon, we also prove the presence of all possible completely multicolored t-vertex complete bipartite graphs in t-colored t-chromatic Kneser graphs and in several of their relatives. In particular, this implies a generalization of a recent result of G. Spencer and F.E. Su.     

Controllability of nonlinear integro-differential third order dispersion system

In this short article, sufficient condition for controllability of nonlinear dispersion system is studied. The result is obtained by using the Schaefer fixed-point theorem. This work extends the work of Chalishajar, George and Nandakumaran [D.N. Chalishajar, R.K. George, A.K. Nandakumaran, Exact controllability of the third order nonlinear dispersion equation, J. Math. Anal. Appl. 332 (2007) 1028-1044]. Usually authors assume the compactness of semigroup while studying the controllability. Here we drop this assumption and prove the controllability result.     

On the global asymptotic stability and oscillation of solutions in a stochastic business cycle model

We discuss a second order nonlinear stochastic difference equation which is constructed of a business cycle model with organized labor considered. A global asymptotic mean square stability criterion is obtained by Lyapunov function method. We also prove a theorem on the almost sure oscillation of the solutions for the difference equation with state-independent stochastic perturbations.