Search

In the present paper, necessary and sufficient conditions are given for the equality of the power rezidue symbols $$ {\left( {\frac{\alpha }{a}} \right)_n} $$ and $$ {\left( {\frac{\alpha }{a}} \right)_n} $$ in the cyclotomic field ℚ(ζ n ), 2 ∤ n, for a ∈ ℤ, (a, n) = 1. This result is a generalization of the classical Eisenstein reciprocity law and its continuation in a Hasse’s paper. Bibliography: 3 titles.

Congruences mod p for a prime p and partial products of the numbers 1,…, p − 1 are obtained. Bibliography: 2 titles.

It is shown that an approach earlier used by the author for classification of closed simply connected 6-manifolds (reduction to the problem of calculating certain bordism groups) can also be applied for easily obtaining the results by Barden (1965) on classification of closed simply connected 5-manifolds. Bibliography: 11 titles.

This is an attachment to a letter of the author to Alexander Zvonkin (dated November 1, 1995). It is reproduced here with the kind permission of the author.

This paper is devoted to the study of the qualitative properties of solutions to boundary-value problems for strongly elliptic differential-difference equations. Some results for these equations such as existence and smoothness of generalized solutions in certain subdomains of Q were obtained earlier. Nevertheless, the smoothness of generalized solutions of such problems can be violated near the boundary of these subdomains even for infinitely differentiable right-hand side. The subdomains are defined as connected components of the set that is obtained from the domain Q by throwing out all possible shifts of the boundary Q by vectors of a certain group generated by shifts occurring in the difference operators. For the one dimensional Neumann problem for differential-difference equations there were obtained conditions on the coefficients of difference operators, under which for any continuous right-hand side there is a classical solution of the problem that coincides with the generalized solution. 2 Also there was obtained the smoothness (in Sobolev spaces W k ) of generalized solutions of the second and the third boundary-value problems for strongly elliptic differential-difference equations in subdomains excluding -neighborhoods of certain points. However, the smoothness (in Ho lder spaces) of generalized solutions of the second boundary-value problem for strongly elliptic differential-difference equations on the boundary of adjacent subdomains was not considered. In this paper, we study this question in Ho lder spaces. We establish necessary and sufficient conditions for the coefficients of difference operators that guarantee smoothness of the generalized solution on the boundary of adjacent subdomains for any right-hand side from the Ho lder space.

The study of the Dirichlet problem with arbitrary measurable data for harmonic functions in the unit disk 𝔻 is due to the dissertation of Luzin. Later on, the known monograph of Vekua was devoted to boundary-value problems only with Holder continuous data for generalized analytic functions, i.e., continuous complex-valued functions f(z) of the complex variable z = x + iy with generalized first partial derivatives by Sobolev satisfying equations of the form $$ {\partial}_{\overline{z}}f+ af+b\overline{f}=c, $$ where the complexvalued functions a; b, and c are assumed to belong to the class Lp with some p > 2 in smooth enough domains D in ℂ. Our last paper [12] contained theorems on the existence of nonclassical solutions of the Hilbert boundaryvalue problem with arbitrary measurable data (with respect to logarithmic capacity) for generalized analytic functions f : D → ℂ such that $$ {\partial}_{\overline{z}}f=g $$ with the real-valued sources. On this basis, the corresponding existence theorems were established for the Poincare problem on directional derivatives and, in particular, for the Neumann problem to the Poisson equations △U = G ∈ Lp; p > 2, with arbitrary measurable boundary data over logarithmic capacity. The present paper is a natural continuation of the article [12] and includes, in particular, theorems on the existence of solutions for the Hilbert boundary-value problem with arbitrary measurable data for the corresponding nonlinear equations of the Vekua type $$ {\partial}_{\overline{z}}f(z)=h(z)q\left(f(z)\right). $$ On this basis, existence theorems were also established for the Poincar´e boundary-value problem and, in particular, for the Neumann problem for the nonlinear Poisson equations of the form △U(z) = H(z)Q(U(z)) with arbitrary measurable boundary data over logarithmic capacity. The Dirichlet problem was investigated by us for the given equations, too. Our approach is based on the interpretation of boundary values in the sense of angular (along nontangential paths) limits that are a conventional tool of the geometric function theory. As consequences, we give applications to some concrete semi-linear equations of mathematical physics arising from modelling various physical processes. Those results can also be applied to semi-linear equations of mathematical physics in anisotropic and inhomogeneous media.

The paper is devoted to the construction of an “integral” on an infinite-dimensional space, combining the approaches proposed previously and at the same time the simplest. A new definition of the construction and study its properties on a special class of functionals is given. An introduction of a quasi-scalar product, an orthonormal system, and applications in physics (path integral, loop space, functional derivative) are proposed. In addition, the paper contains a discussion of generalized functionals.

In this paper, we consider the Laplace operator in a flat band whose lower boundary periodically oscillates under the Dirichlet boundary condition. The period and the amplitude of oscillations are two independent small parameters. The main result obtained in the paper is the absence of internal lacunas in the lower part of the spectrum of the operator for sufficiently small period and amplitude. We obtain explicit upper estimates of the period and amplitude in the form of constraints with specific numerical constants. The length of the lower part of the spectrum, in which the absence of lacunas is guaranteed, is also expressed explicitly in terms of the period function and the amplitude.

In this paper, we formulate mathematical foundations of applications of boundary integral equations with strongly singular integrals understood in the sense of finite Hadamard value to numerical solution of certain boundary-value problems. We describe numerical schemes for solving boundary strongly singular equations based on quadrature formulas and the collocation method. Also, we make references to known results on the mathematical justification of the numerical methods described in the paper.

The study of the Dirichlet problem in the unit disk 𝔻 with arbitrary measurable data for harmonic functions is due to the famous dissertation of Luzin [31]. Later on, the known monograph of Vekua [48] has been devoted to boundary-value problems (only with Holder continuous data) for the generalized analytic functions, i.e., continuous complex valued functions h(z) of the complex variable z = x + iy with generalized first partial derivatives by Sobolev satisfying equations of the form 𝜕zh + ah + b $$ \overline{h} $$ = c ; where it was assumed that the complex valued functions a; b and c belong to the class Lp with some p > 2 in smooth enough domains D in ℂ. The present paper is a natural continuation of our previous articles on the Riemann, Hilbert, Dirichlet, Poincar´e and, in particular, Neumann boundary-value problems for quasiconformal, analytic, harmonic, and the so-called A−harmonic functions with boundary data that are measurable with respect to logarithmic capacity. Here, we extend the corresponding results to the generalized analytic functions h : D → ℂ with the sources g : 𝜕zh = g ∈ Lp, p > 2 , and to generalized harmonic functions U with sources G : △U = G ∈ Lp, p > 2. This paper contains various theorems on the existence of nonclassical solutions of the Riemann and Hilbert boundary-value problems with arbitrary measurable (with respect to logarithmic capacity) data for generalized analytic functions with sources. Our approach is based on the geometric (theoretic-functional) interpretation of boundary-values in comparison with the classical operator approach in PDE. On this basis, it is established the corresponding existence theorems for the Poincar´e problem on directional derivatives and, in particular, for the Neumann problem to the Poisson equations △U = G with arbitrary boundary data that are measurable with respect to logarithmic capacity. These results can be also applied to semilinear equations of mathematical physics in anisotropic and inhomogeneous media.

This paper is a survey of results on countable families with natural degree spectra. These results were obtained by a modification of the methodology proposed by Wechner, who first found a family of sets with the spectrum consisting precisely of nonzero Turing degrees. Based on this method, many researchers obtained examples of families with other natural spectra. In addition, in this paper we extend these results and present new examples of natural spectra. In particular, we construct a family of finite sets with the spectrum consisting of exactly non-K-trivial degrees and also we find new sufficient conditions on $$ {\Delta}_2^0 $$ -degree a, which guarantees that the class {x : x ≰ a} is the degree spectrum of some family. Finally, we give a survey of our recent results on the degree spectra of α-families, where α is an arbitrary computable ordinal.

In this paper, we consider boundary-value problems for a new class of hybrid systems of differential equations whose coefficients contain the Dirac delta-function. Hybrid systems are systems that contain both ordinary and partial differential equations; such systems appear, for example, when equations of motion of mechanical systems of rigid bodies attached to a beam by elastic bonds are derived from the Hamilton–Ostrogradsky variational principle. We present examples that lead to such systems and introduce the notions of generalized solutions and eigenvalues of a boundary-value problem. We also compare results of numerical simulations based on methods proposed in this paper with results obtained by previously known methods and show that our approach is reliable and universal.

This paper is concerned with small UAV (unmanned aerial vehicle) control algorithm development during landing. The UAV landing problem for small UAVs (less than 20 kg) remains actual despite the great amount of books, papers, and monographs devoted to this topic. In this paper, a model with V-shaped keel is under consideration. Mechanization of such a vehicle consists of flaperons and ailerons. To describe a flight, a system of nonlinear differential equations is developed. The automatic control both for longitudinal and lateral motion as well as for thrust is designed. The stability analysis of the controlled system is conducted by plotting stability regions in the space of the feedback coefficients. The results of a numerical modeling of a flight with external disturbances are given.

In this paper, we suggest a method of constructing logical neural networks on the basis of variable-valued logical functions. We prove the theorem on a possibility of representation of any logical function as a logical neural network. The proof given in the paper contains an algorithm of the construction of the logical neural network. We point out the possibility of the generalization of the result obtained to the case of fuzzy logic.

A dynamical system $$ {\displaystyle \begin{array}{ll}{u}_{tt}-\Delta u-\nabla 1\mathrm{n}\;\rho \cdot \nabla u=0& in\kern0.6em {\mathrm{\mathbb{R}}}_{+}^3\times \left(0,T\right),\\ {}{\left.u\right|}_{t=0}={\left.{u}_t\right|}_{t=0}=0& in\kern0.6em \overline{{\mathrm{\mathbb{R}}}_{+}^3},\\ {}{\left.{u}_z\right|}_{z=0}=f& for\kern0.36em 0\le t\le T,\end{array}} $$ is under consideration, where ρ = ρ(x, y, z) is a smooth positive function; f = f(x, y, t) is a boundary control; u = uf (x, y, z, t) is a solution. With the system one associates a response operator R : f ↦ uf|z = 0. The inverse problem is to recover the function ρ via the response operator. A short representation of the local version of the BC-method, which recovers ρ via the data given on a part of the boundary, is provided. If ρ is constant, the forward problem is solved in explicit form. In the paper, the corresponding representations for the solutions and response operator are derived. A way to use them for testing the BC-algorithm, which solves the inverse problem, is outlined. The goal of the paper is to extend the circle of the BC-method users, who are interested in numerical realization of methods for solving inverse problems.

In this paper, we consider the operator sheaf $$ -\Delta +V+\varepsilon {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right)+{\lambda}^2 $$ in the space L2(ℝ2), where the real-valued potential V depends only on the first variable x1, e is a small positive parameter, λ is the spectral parameter, $$ {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right) $$ is a localized operator bounded with respect to the Laplacian −Δ, and the essential spectrum of this operator is independent of e and contains certain critical points defined as isolated eigenvalues of the operator $$ -\frac{d^2}{dx_1^2}+V\left({x}_1\right) $$ in L2(ℝ). The basic result obtained in this paper states that for small values of e, in neighborhoods of critical points mentioned, isolated eigenvalues of the sheaf considered arise. Sufficient conditions for the existence or absence of such eigenvalues are obtained. The number of arising eigenvalues is determined, and in the case where they exist, the first terms of their asymptotic expansions are found.

A goal of the paper is to prove new inequalities connecting some functionals of probability distribution functions. These inequalities are based on the strict convexity of functions used in the definition of the functionals. The starting point is the paper “Cramer–von Mises distance: probabilistic interpretation, confidence intervals and neighborhood of model validation” by Ludwig Baringhaus and Norbert Henze. The present paper provides a generalization of inequality obtained in probabilistic interpretation of the Cramer–von Mises distance. If the equality holds there, then a chance to give characterization of some probability distribution functions appears. Considering this fact and a special character of the functional, it is possible to create a class of free-of-distribution two sample tests.

In this paper, we prove the integrability of certain classes of dynamical systems on the tangent bundles of four-dimensional manifolds (systems with four degrees of freedom). The force field considered possessed so-called variable dissipation; they are generalizations of fields studied earlier. This paper continues earlier works of the author devoted to systems on the tangent bundles of two- and three-dimensional manifolds.