• Laplace transform. To solve linear differential equations we will use the Laplace transform. Continuous Laplace transform History of the complex Laplace variable

    Laplace transform- integral transformation connecting the function F(s) (\displaystyle \F(s)) complex variable ( image) with function f (x) (\displaystyle \f(x)) real variable ( original). With its help, the properties of dynamic systems are studied and differential and integral equations are solved.

    One of the features of the Laplace transform, which predetermined its wide distribution in scientific and engineering calculations, is that many relations and operations on the originals correspond to simpler relations on their images. Thus, the convolution of two functions is reduced in image space to the operation of multiplication, and linear differential equations become algebraic.

    Encyclopedic YouTube

      1 / 5

      ✪ Laplace transform - bezbotvy

      ✪ Lecture 10: Laplace transform

      ✪ Higher mathematics -- 4. Laplace transforms. Part 1

      ✪ Laplace method for solving DE

      ✪ Lecture 11: Application of the Laplace transform to solving differential equations

      Subtitles

    Definition

    Direct Laplace transform

    lim b → ∞ ∫ 0 b | f(x) | e − σ 0 x d x = ∫ 0 ∞ | f(x) | e − σ 0 x d x , (\displaystyle \lim _(b\to \infty )\int \limits _(0)^(b)|f(x)|e^(-\sigma _(0)x)\ ,dx=\int \limits _(0)^(\infty )|f(x)|e^(-\sigma _(0)x)\,dx,)

    then it converges absolutely and uniformly for and is an analytical function at σ ⩾ σ 0 (\displaystyle \sigma \geqslant \sigma _(0)) (σ = R e s (\displaystyle \sigma =\mathrm (Re) \,s)- real part of a complex variable s (\displaystyle s)). Exact bottom edge σ a (\displaystyle \sigma _(a)) sets of numbers σ (\displaystyle \sigma ), under which this condition is satisfied, is called abscissa of absolute convergence Laplace transform for the function.

    • Conditions for the existence of the direct Laplace transform

    Laplace transform L ( f (x) ) (\displaystyle (\mathcal (L))\(f(x)\)) exists in the sense of absolute convergence in the following cases:

    1. σ ⩾ 0 (\displaystyle \sigma \geqslant 0): Laplace transform exists if integral exists ∫ 0 ∞ | f(x) | d x (\displaystyle \int \limits _(0)^(\infty )|f(x)|\,dx);
    2. σ > σ a (\displaystyle \sigma >\sigma _(a)): Laplace transform exists if the integral ∫ 0 x 1 | f(x) | d x (\displaystyle \int \limits _(0)^(x_(1))|f(x)|\,dx) exists for every finite x 1 > 0 (\displaystyle x_(1)>0) And | f(x) | ⩽ K e σ a x (\displaystyle |f(x)|\leqslant Ke^(\sigma _(a)x)) For x > x 2 ⩾ 0 (\displaystyle x>x_(2)\geqslant 0);
    3. σ > 0 (\displaystyle \sigma >0) or σ > σ a (\displaystyle \sigma >\sigma _(a))(which of the boundaries is greater): a Laplace transform exists if a Laplace transform exists for the function f ′ (x) (\displaystyle f"(x))(derivative of f (x) (\displaystyle f(x))) For σ > σ a (\displaystyle \sigma >\sigma _(a)).

    Note

    • Conditions for the existence of the inverse Laplace transform

    For the existence of the inverse Laplace transform, it is sufficient to satisfy the following conditions:

    1. If the image F (s) (\displaystyle F(s))- analytical function for σ ⩾ σ a (\displaystyle \sigma \geqslant \sigma _(a)) and has order less than −1, then the inverse transformation for it exists and is continuous for all values ​​of the argument, and L − 1 ( F (s) ) = 0 (\displaystyle (\mathcal (L))^(-1)\(F(s)\)=0) For t ⩽ 0 (\displaystyle t\leqslant 0).
    2. Let F (s) = φ [ F 1 (s) , F 2 (s) , … , F n (s) ] (\displaystyle F(s)=\varphi ), So φ (z 1 , z 2 , … , z n) (\displaystyle \varphi (z_(1),\;z_(2),\;\ldots ,\;z_(n))) analytical regarding each z k (\displaystyle z_(k)) and is equal to zero for z 1 = z 2 = … = z n = 0 (\displaystyle z_(1)=z_(2)=\ldots =z_(n)=0), And F k (s) = L ( f k (x) ) (σ > σ a k: k = 1 , 2 , … , n) (\displaystyle F_(k)(s)=(\mathcal (L))\(f_ (k)(x)\)\;\;(\sigma >\sigma _(ak)\colon k=1,\;2,\;\ldots ,\;n)), then the inverse transformation exists and the corresponding direct transformation has the abscissa of absolute convergence.

    Note: these are sufficient conditions of existence.

    • Convolution theorem

    Main article: Convolution theorem

    • Differentiation and integration of the original

    The Laplace image of the first derivative of the original with respect to the argument is the product of the image and the argument of the latter minus the original at zero on the right:

    L ( f ′ (x) ) = s ⋅ F (s) − f (0 +) . (\displaystyle (\mathcal (L))\(f"(x)\)=s\cdot F(s)-f(0^(+)).)

    Initial and final value theorems (limit theorems):

    f (∞) = lim s → 0 s F (s) (\displaystyle f(\infty)=\lim _(s\to 0)sF(s)), if all poles of the function s F (s) (\displaystyle sF(s)) are in the left half-plane.

    The Finite Value Theorem is very useful because it describes the behavior of the original at infinity using a simple relation. This is, for example, used to analyze the stability of the trajectory of a dynamic system.

    • Other properties

    Linearity:

    L ( a f (x) + b g (x) ) = a F (s) + b G (s) . (\displaystyle (\mathcal (L))\(af(x)+bg(x)\)=aF(s)+bG(s.)

    Multiplying by a number:

    L ( f (a x) ) = 1 a F (s a) . (\displaystyle (\mathcal (L))\(f(ax)\)=(\frac (1)(a))F\left((\frac (s)(a))\right).)

    Direct and inverse Laplace transform of some functions

    Below is a Laplace transform table for some functions.

    Function Time domain
    x (t) = L − 1 ( X (s) ) (\displaystyle x(t)=(\mathcal (L))^(-1)\(X(s)\))
    Frequency domain
    X (s) = L ( x (t) ) (\displaystyle X(s)=(\mathcal (L))\(x(t)\))
    Convergence region
    For causal systems
    1 perfect lag δ (t − τ) (\displaystyle \delta (t-\tau)\ ) e − τ s (\displaystyle e^(-\tau s)\ )
    1a single impulse δ (t) (\displaystyle \delta (t)\ ) 1 (\displaystyle 1\ ) ∀ s (\displaystyle \forall s\ )
    2 lag n (\displaystyle n) (t − τ) n n ! e − α (t − τ) ⋅ H (t − τ) (\displaystyle (\frac ((t-\tau)^(n))(n}e^{-\alpha (t-\tau)}\cdot H(t-\tau)} !} e − τ s (s + α) n + 1 (\displaystyle (\frac (e^(-\tau s))((s+\alpha)^(n+1)))) s > 0 (\displaystyle s>0)
    2a power n (\displaystyle n)-th order tnn! ⋅ H (t) (\displaystyle (\frac (t^(n))(n}\cdot H(t)} !} 1 s n + 1 (\displaystyle (\frac (1)(s^(n+1)))) s > 0 (\displaystyle s>0)
    2a.1 power q (\displaystyle q)-th order t q Γ (q + 1) ⋅ H (t) (\displaystyle (\frac (t^(q))(\Gamma (q+1)))\cdot H(t)) 1 s q + 1 (\displaystyle (\frac (1)(s^(q+1)))) s > 0 (\displaystyle s>0)
    2a.2 unit function H (t) (\displaystyle H(t)\ ) 1 s (\displaystyle (\frac (1)(s))) s > 0 (\displaystyle s>0)
    2b unit function with delay H (t − τ) (\displaystyle H(t-\tau)\ ) e − τ s s (\displaystyle (\frac (e^(-\tau s))(s))) s > 0 (\displaystyle s>0)
    2c "speed step" t ⋅ H (t) (\displaystyle t\cdot H(t)\ ) 1 s 2 (\displaystyle (\frac (1)(s^(2)))) s > 0 (\displaystyle s>0)
    2d n (\displaystyle n)-th order with frequency shift tnn! e − α t ⋅ H (t) (\displaystyle (\frac (t^(n))(n}e^{-\alpha t}\cdot H(t)} !} 1 (s + α) n + 1 (\displaystyle (\frac (1)((s+\alpha)^(n+1)))) s > − α (\displaystyle s>-\alpha )
    2d.1 exponential decay e − α t ⋅ H (t) (\displaystyle e^(-\alpha t)\cdot H(t)\ ) 1 s + α (\displaystyle (\frac (1)(s+\alpha ))) s > − α (\displaystyle s>-\alpha \ )
    3 exponential approximation (1 − e − α t) ⋅ H (t) (\displaystyle (1-e^(-\alpha t))\cdot H(t)\ ) α s (s + α) (\displaystyle (\frac (\alpha )(s(s+\alpha)))) s > 0 (\displaystyle s>0\ )
    4 sinus sin ⁡ (ω t) ⋅ H (t) (\displaystyle \sin(\omega t)\cdot H(t)\ ) ω s 2 + ω 2 (\displaystyle (\frac (\omega )(s^(2)+\omega ^(2)))) s > 0 (\displaystyle s>0\ )
    5 cosine cos ⁡ (ω t) ⋅ H (t) (\displaystyle \cos(\omega t)\cdot H(t)\ ) s s 2 + ω 2 (\displaystyle (\frac (s)(s^(2)+\omega ^(2)))) s > 0 (\displaystyle s>0\ )
    6 hyperbolic sine s h (α t) ⋅ H (t) (\displaystyle \mathrm (sh) \,(\alpha t)\cdot H(t)\ ) α s 2 − α 2 (\displaystyle (\frac (\alpha )(s^(2)-\alpha ^(2)))) s > | α | (\displaystyle s>|\alpha |\ )
    7 hyperbolic cosine c h (α t) ⋅ H (t) (\displaystyle \mathrm (ch) \,(\alpha t)\cdot H(t)\ ) s s 2 − α 2 (\displaystyle (\frac (s)(s^(2)-\alpha ^(2)))) s > | α | (\displaystyle s>|\alpha |\ )
    8 exponentially decaying
    sinus
    e − α t sin ⁡ (ω t) ⋅ H (t) (\displaystyle e^(-\alpha t)\sin(\omega t)\cdot H(t)\ ) ω (s + α) 2 + ω 2 (\displaystyle (\frac (\omega )((s+\alpha)^(2)+\omega ^(2)))) s > − α (\displaystyle s>-\alpha \ )
    9 exponentially decaying
    cosine
    e − α t cos ⁡ (ω t) ⋅ H (t) (\displaystyle e^(-\alpha t)\cos(\omega t)\cdot H(t)\ ) s + α (s + α) 2 + ω 2 (\displaystyle (\frac (s+\alpha )((s+\alpha)^(2)+\omega ^(2)))) s > − α (\displaystyle s>-\alpha \ )
    10 root n (\displaystyle n)-th order t n ⋅ H (t) (\displaystyle (\sqrt[(n)](t))\cdot H(t)) s − (n + 1) / n ⋅ Γ (1 + 1 n) (\displaystyle s^(-(n+1)/n)\cdot \Gamma \left(1+(\frac (1)(n) )\right)) s > 0 (\displaystyle s>0)
    11 natural logarithm ln ⁡ (t t 0) ⋅ H (t) (\displaystyle \ln \left((\frac (t)(t_(0)))\right)\cdot H(t)) − t 0 s [ ln ⁡ (t 0 s) + γ ] (\displaystyle -(\frac (t_(0))(s))[\ln(t_(0)s)+\gamma ]) s > 0 (\displaystyle s>0)
    12 Bessel function
    first kind
    order n (\displaystyle n)
    J n (ω t) ⋅ H (t) (\displaystyle J_(n)(\omega t)\cdot H(t)) ω n (s + s 2 + ω 2) − n s 2 + ω 2 (\displaystyle (\frac (\omega ^(n)\left(s+(\sqrt (s^(2)+\omega ^(2) ))\right)^(-n))(\sqrt (s^(2)+\omega ^(2))))) s > 0 (\displaystyle s>0\ )
    (n > − 1) (\displaystyle (n>-1)\ )
    13
    first kind
    order n (\displaystyle n)
    I n (ω t) ⋅ H (t) (\displaystyle I_(n)(\omega t)\cdot H(t)) ω n (s + s 2 − ω 2) − n s 2 − ω 2 (\displaystyle (\frac (\omega ^(n)\left(s+(\sqrt (s^(2)-\omega ^(2) ))\right)^(-n))(\sqrt (s^(2)-\omega ^(2))))) s > | ω | (\displaystyle s>|\omega |\ )
    14 Bessel function
    second kind
    zero order
    Y 0 (α t) ⋅ H (t) (\displaystyle Y_(0)(\alpha t)\cdot H(t)\ ) − 2 a r s h (s / α) π s 2 + α 2 (\displaystyle -(\frac (2\mathrm (arsh) (s/\alpha))(\pi (\sqrt (s^(2)+\alpha ^(2)))))) s > 0 (\displaystyle s>0\ )
    15 modified Bessel function
    second kind,
    zero order
    K 0 (α t) ⋅ H (t) (\displaystyle K_(0)(\alpha t)\cdot H(t))
    16 error function e r f (t) ⋅ H (t) (\displaystyle \mathrm (erf) (t)\cdot H(t)) e s 2 / 4 e r f c (s / 2) s (\displaystyle (\frac (e^(s^(2)/4)\mathrm (erfc) (s/2))(s))) s > 0 (\displaystyle s>0)
    Notes on the table:
    • H (t) (\displaystyle H(t)\ ) ;
    • α (\displaystyle \alpha \ ), β (\displaystyle \beta \ ), τ (\displaystyle \tau \ ) And ω (\displaystyle \omega \ ) - Relationship to other transformations

      Fundamental connections

      Mellin transformation

      The Mellin transform and the inverse Mellin transform are related to the two-way Laplace transform by a simple change of variables. If in the Mellin transformation

      G (s) = M ( g (θ) ) = ∫ 0 ∞ θ s g (θ) θ d θ (\displaystyle G(s)=(\mathcal (M))\left\(g(\theta)\right \)=\int \limits _(0)^(\infty )\theta ^(s)(\frac (g(\theta))(\theta ))\,d\theta )

      let's put θ = e − x (\displaystyle \theta =e^(-x)), then we obtain a two-sided Laplace transform.

      Z-transform

      Z (\displaystyle Z)-transformation is the Laplace transform of a lattice function, performed using a change of variables:

      z ≡ e s T , (\displaystyle z\equiv e^(sT),)

      Borel transformation

      The integral form of the Borel transform is identical to the Laplace transform; there is also a generalized Borel transform, with which the use of the Laplace transform is extended to a wider class of functions.

      Bibliography

      • Van der Pol B., Bremer H. Operational calculus based on two-way Laplace transform. - M.: Foreign Literature Publishing House, 1952. - 507 p.
      • Ditkin V. A., Prudnikov A. P. Integral transformations and operational calculus. - M.: Main editorial office of physical and mathematical literature of the publishing house "Nauka", 1974. - 544 p.
      • Ditkin V. A., Kuznetsov P. I. Handbook of operational calculus: Fundamentals of theory and tables of formulas. - M.: State Publishing House of Technical and Theoretical Literature, 1951. - 256 p.
      • Carslow H., Jäger D. Operational methods in applied mathematics. - M.: Foreign Literature Publishing House, 1948. - 294 p.
      • Kozhevnikov N. I., Krasnoshchekova T. I., Shishkin N. E. Fourier series and integrals. Field theory. Analytical and special functions. Laplace transforms. - M.: Nauka, 1964. - 184 p.
      • Krasnov M. L., Makarenko G. I. Operational calculus. Stability of movement. - M.: Nauka, 1964. - 103 p.
      • Mikusinsky Ya. Operator calculus. - M.: Foreign Literature Publishing House, 1956. - 367 p.
      • Romanovsky P. I. Fourier series. Field theory. Analytical and special functions. Laplace transforms. - M.: Nauka, 1980. - 336 p.

    Section II. Mathematical analysis

    E. Yu. Anokhina

    HISTORY OF DEVELOPMENT AND ESTABLISHMENT OF THE THEORY OF THE FUNCTION OF A COMPLEX VARIABLE (TFCV) AS A EDUCATIONAL SUBJECT

    One of the complex mathematical courses is the TFKP course. The complexity of this course is due, first of all, to the variety of its relationships with other mathematical disciplines, historically expressed in the broad applied focus of the science of TFKP.

    In the scientific literature on the history of mathematics, there is scattered information about the history of the development of TFKP; they require systematization and generalization.

    In this regard, the main objective of this article is a brief description of the development of TFKP and the establishment of this theory as an educational subject.

    As a result of the study, the following three stages in the development of TFKP as a science and educational subject were identified:

    The stage of emergence and recognition of complex numbers;

    The stage of accumulation of factual material on functions of imaginary quantities;

    The stage of formation of the theory of functions of a complex variable.

    The first stage of the development of TFKP (mid-16th century - 18th century) begins with the work of G. Cardano (1545) who published the work “Artis magnae sive de regulis algebraitis” (Great art, or on algebraic rules). The work of G. Cardano had the main task of justifying general algebraic techniques for solving equations of the third and fourth degrees, recently discovered by Ferro (1465-1526), ​​Tartaglia (1506-1559) and Ferrari (1522-1565). If the cubic equation is reduced to the form

    x3 + px + d = 0,

    and it should be

    When (t^Ar V (|- 70 the equation has three real roots, and two of them

    are equal to each other. If then the equation has one real and two co-

    conjugate complex roots. Complex numbers appear in the final result, so G. Cardano could do what they did before him: declare the equation to have

    one root. When (<7 Г + (р V < (). тогда уравнение имеет три действительных корня. Этот так

    the so-called irreducible case is characterized by one feature that was not encountered until the 16th century. The equation x3 - 21x + 20 = 0 has three real roots 1, 4, - 5, which is easy

    verify by simple substitution. But ^du + y _ ^20y + ^-21y _ ^ ^ ^; therefore, according to the general formula, x = ^-10 + ^-243 -^-10-4^243. Complex, i.e. “false”, the number turns out to be not a result, but an intermediate term in the calculations that lead to the real roots of the equation in question. J. Cardano encountered a difficulty and realized that in order to preserve the generality of this formula, it was necessary to abandon the complete disregard of complex numbers. J. D'Alembert (1717-1783) believed that it was precisely this circumstance that made G. Cardano and mathematicians following this idea seriously interested in complex numbers.

    At this stage (in the 17th century) two points of view were generally accepted. The first point of view was expressed by Girard, who raised the question of recognizing the need for the unrestricted use of complex numbers. The second is by Descartes, who denied the possibility of interpreting complex numbers. Opposite to Descartes's opinion was the point of view of J. Wallis - about the existence of a real interpretation of complex numbers, Descartes ignored it. Complex numbers began to be “forced” to be used in solving applied problems in situations where the use of real numbers led to a complex result, or the result could not be obtained theoretically, but had a practical implementation.

    The intuitive use of complex numbers led to the need to preserve the laws and rules of arithmetic of real numbers for the set of complex numbers; in particular, there were attempts at direct transfer. This sometimes led to erroneous results. In this regard, questions about the justification of complex numbers and the construction of algorithms for their arithmetic have become relevant. This was the beginning of a new stage in the development of TFKP.

    The second stage of development of TFKP (beginning of the 18th century - 19th century). In the 18th century L. Euler expressed the idea that the field of complex numbers is algebraically closed. The algebraic closedness of the field of complex numbers C led mathematicians to the following conclusions:

    That the study of functions and mathematical analysis in general acquire proper completeness and completeness only when considering the behavior of functions in a complex domain;

    It is necessary to consider complex numbers as variables.

    In 1748, L. Euler (1707-1783) in his work “Introduction to the Analysis of Infinitesimals” introduced a complex variable as the most general concept of a variable quantity, using complex numbers in the expansion of functions into linear factors. L. Euler is rightfully considered one of the creators of TFKP. In the works of L. Euler, elementary functions of a complex variable were studied in detail (1740-1749), conditions for differentiability were given (1755) and the beginning of integral calculus for functions of a complex variable (1777). L. Euler practically introduced the conformal mapping (1777). He called these mappings “similar in the small,” and the term “conformal” was apparently first used by the St. Petersburg academician F. Schubert (1789). L. Euler also brought numerous applications of functions of a complex variable to various mathematical problems and laid the foundation for their use in hydrodynamics (1755-1757) and cartography (1777). K. Gauss formulates the definition of an integral in the complex plane, an integral theorem on the decomposability of an analytic function into a power series. Laplace uses complex variables when calculating difficult integrals and develops a method for solving linear, difference and differential equations known as the Laplace transform.

    Starting from 1799, works appeared in which more or less convenient interpretations of complex numbers were given and actions on them were defined. A fairly general theoretical interpretation and geometric interpretation was published by K. Gauss only in 1831.

    L. Euler and his contemporaries left a rich legacy to their descendants in the form of accumulated, sometimes systematized, sometimes not, but still scattered facts on TFKP. We can say that the factual material on the functions of imaginary quantities seemed to require its systematization in the form of a theory. This theory began its formation.

    The third stage of the formation of TFKP (XIX centuries - XX centuries). The main achievements here belong to O. Cauchy (1789-1857), B. Riemann (1826-1866), and K. Weierstrass (1815-1897). Each of them represented one of the directions of development of TFKP.

    The representative of the first direction, which in the history of mathematics was called “the theory of monogenic or differentiable functions,” was O. Cauchy. He formalized scattered facts on differential and integral calculus of functions of a complex variable, explained the meaning of basic concepts and operations with imaginary ones. The works of O. Cauchy set out the theory of limits and the theory of series and elementary functions based on it, and formulated a theorem that completely clarifies the region of convergence of a power series. In 1826, O. Cauchy introduced the term: deduction (literally: remainder). In his works from 1826 to 1829, he created the theory of residues. O. Cauchy derived an integral formula; obtained a theorem for the existence of the expansion of a function of a complex variable into power series (1831). O. Cauchy laid the foundations of the theory of analytic functions of many variables; determined the main branches of multivalued functions of a complex variable; first used plane cuts (1831-1847). In 1850, he introduced the concept of monodromic functions and identified the class of monogenic functions.

    A follower of O. Cauchy was B. Riemann, who created his own “geometric” (second) direction of development of TFKP. In his works, he overcame the isolation of ideas about the functions of complex variables and formed new departments of this theory, closely related to other disciplines. Riemann made a significantly new step in the history of the theory of analytic functions; he proposed to associate with each function of a complex variable the idea of ​​mapping one domain onto another. He established the differences between the functions of a complex and a real variable. B. Riemann laid the foundation for the geometric theory of functions, introduced the Riemann surface, developed the theory of conformal mappings, established the connection between analytic and harmonic functions, and introduced the zeta function.

    Further development of TFKP occurred in a different (third) direction. It was based on the possibility of representing functions by power series. This direction has been given the name “analytical” in history. It was formed in the works of K. Weierstrass, in which he brought to the fore the concept of uniform convergence. K. Weierstrass formulated and proved a theorem on the legality of bringing similar terms in a series. K. Weierstrass obtained a fundamental result: the limit of a sequence of analytic functions that uniformly converges inside a certain domain is an analytic function. He was able to generalize Cauchy's theorem on the power series expansion of a function of a complex variable and described the process of analytical continuation of power series and its application to the representation of solutions to a system of differential equations. K. Weierstrass established the fact of not only absolute convergence of the series, but also uniform convergence. Weierstrass's theorem on the expansion of an entire function into a product appears. He lays the foundations of the theory of analytic functions of many variables and builds a theory of divisibility of power series.

    Let us consider the development of the theory of analytic functions in Russia. Russian mathematicians of the 19th century. for a long time they did not want to devote themselves to a new field of mathematics. Despite this, we can name several names to whom it was not alien, and list some of the works and achievements of these Russian mathematicians.

    One of the Russian mathematicians was M.V. Ostrogradsky (1801-1861). About the research of M.V. Little is known about Ostrogradsky in the field of the theory of analytic functions, but O. Cauchy spoke with praise of this young Russian scientist who applied integrals and gave new proofs of formulas and generalized other formulas. M.V. Ostrogradsky wrote the work “Remarks on Definite Integrals”, in which he derived Cauchy’s formula for the subtraction of a function with respect to a pole of the nth order. He outlined applications of residue theory and Cauchy's formula to the evaluation of definite integrals in an extensive public lecture course given in 1858–1859.

    A number of works by N.I. date back to the 1930s. Lobachevsky, which are of direct importance for the theory of functions of a complex variable. The theory of elementary functions of a complex variable is contained in his work “Algebra or the calculation of finite ones” (Kazan, 1834). In which cos x and sin x are initially determined for real x as real and

    imaginary part of the function ex^. Using previously established properties of the exponential function and power expansions, all the basic properties of trigonometric functions are derived. By-

    Apparently, Lobachevsky attached special importance to such a purely analytical construction of trigonometry, independent of Euclidean geometry.

    It can be argued that in the last decades of the 19th century. and the first decade of the 20th century. Fundamental research on the theory of functions of a complex variable (F. Klein, A. Poincaré, P. Koebe) consisted of gradually clarifying that Lobachevsky geometry is at the same time the geometry of analytic functions of one complex variable.

    In 1850, professor at St. Petersburg University (later academician) I.I. Somov (1815-1876) published “Foundations of the Theory of Analytical Functions,” which were based on Jacobi’s “New Foundations.”

    However, the first truly “original” Russian researcher in the field of the theory of analytic functions of a complex variable was Yu.V. Sokhotsky (1842-1929). He defended his master's thesis “The Theory of Integral Residues with Some Applications” (St. Petersburg, 1868). Since the fall of 1868, Yu.V. Sokhotsky taught courses on the theory of functions of an imaginary variable and on continued fractions with applications to analysis. Master's thesis Yu.V. Sokhotsky is devoted to applications of the theory of residues to the inversion of power series (Lagrange series) and in particular to the expansion of analytic functions into continued fractions, as well as to Legendre polynomials. In this work, the famous theorem on the behavior of an analytic function in a neighborhood of an essentially singular point was formulated and proven. In Sokhotsky's doctoral dissertation

    (1873) the concept of an integral of Cauchy type is introduced for the first time in expanded form: *r/ ^ & _ where

    a and b are two arbitrary complex numbers. The integral is assumed to be taken along a certain curve (“trajectory”) connecting a and b. In this work, a number of theorems are proved.

    The works of N.E. played a huge role in the history of analytical functions. Zhukovsky and S.A. Chaplygin, who opened up a vast area of ​​its applications in aero- and hydromechanics.

    Speaking about the development of the theory of analytic functions, one cannot fail to mention the research of S.V. Kovalevskaya, although their main significance lies beyond the scope of this theory. The success of her work was due to a completely new formulation of the problem in terms of the theory of analytic functions and consideration of time t as a complex variable.

    At the turn of the 20th century. The nature of scientific research in the field of the theory of functions of a complex variable is changing. If previously most of the research in this area was carried out in terms of the development of one of three directions (the theory of monogenic or differentiable Cauchy functions, geometric and physical ideas of Riemann, the analytical direction of Weierstrass), now the differences and associated disputes are overcome, appearing and growing rapidly the number of works in which a synthesis of ideas and methods is carried out. One of the main concepts on which the connection and correspondence of geometric concepts and the apparatus of power series was clearly revealed was the concept of analytic continuation.

    At the end of the 19th century. The theory of functions of a complex variable includes an extensive set of disciplines: geometric theory of functions, based on the theory of conformal mappings and Riemann surfaces. We obtained a complete form of the theory of various types of functions: integer and meromorphic, elliptic and modular, automorphic, harmonic, algebraic. In close connection with the last class of functions, the theory of Abelian integrals was developed. Adjacent to this complex was the analytical theory of differential equations and the analytical theory of numbers. The theory of analytic functions established and strengthened connections with other mathematical disciplines.

    The richness of the relationships between TFKP and algebra, geometry and other sciences, the creation of the systematic foundations of the science of TFKT itself, and its great practical significance contributed to the formation of TFKT as an educational subject. However, simultaneously with the completion of the formation of the foundations, new ideas were introduced into the theory of analytical functions that significantly changed its composition, nature and goals. Monographs appear containing a systematic presentation of the theory of analytic functions in a style close to axiomatic and also having educational purposes. Apparently, the significance of the results on TFKP obtained by scientists of the period under review encouraged them to popularize TFKP in the form of lecturing and publishing monographic studies from an educational perspective. It can be concluded that TFKP emerged as an educational

    subject. In 1856, C. Briot and T. Bouquet published a short memoir, “Study of Functions of an Imaginary Variable,” which was essentially the first textbook. General concepts in the theory of functions of a complex variable began to be developed in lectures. Since 1856, K. Weierst-Rass lectured on the representation of functions by convergent power series, and since 1861 - on the general theory of functions. In 1876, a special essay by K. Weierstrass appeared: “On the Theory of Single-valued Analytical Functions,” and in 1880, “On the Doctrine of Functions,” in which his theory of analytic functions acquired a certain completeness.

    Weierstrass's lectures served for many years as a prototype for textbooks on the theory of functions of a complex variable, which have since begun to appear quite often. It was in his lectures that basically the modern standard of rigor in mathematical analysis was built and the structure that became traditional was highlighted.

    BIBLIOGRAPHICAL LIST

    1. Andronov I.K. Mathematics of real and complex numbers. M.: Education, 1975.

    2. Klein F. Lectures on the development of mathematics in the 19th century. M.: ONTI, 1937. Part 1.

    3. Lavrentiev M.A., Shabat B.V. Methods of the theory of functions of a complex variable. M.: Nauka, 1987.

    4. Markushevich A.I. Theory of analytic functions. M.: State. Publishing house of technical and theoretical literature, 1950.

    5. Mathematics of the 19th century. Geometry. Theory of analytic functions / ed. A. N. Kolmogorov and A. P. Yushkevich. M.: Nauka, 1981.

    6. Mathematical Encyclopedia / Ch. ed. I. M. Vinogradov. M.: Soviet Encyclopedia, 1977. T. 1.

    7. Mathematical Encyclopedia / Ch. ed. I. M. Vinogradov. M.: Soviet Encyclopedia, 1979. T. 2.

    8. Young V.N. Fundamentals of the doctrine of number in the 18th and early 19th centuries. M.: Uchpedgiz, 1963.

    9. Rybnikov K.A. History of mathematics. M.: Moscow State University Publishing House, 1963. Part 2.

    NOT. Lyakhova TOUCHING FLAT CURVES

    The question of the tangency of plane curves, in the case when the abscissas of common points are found from an equation of the form Pn x = 0, where P x ​​is some polynomial, is directly related to the question

    on the multiplicity of roots of the polynomial Pn x. This article formulates the corresponding statements for the cases of explicit and implicit specification of functions whose graphs are curves, and also shows the application of these statements in solving problems.

    If the curves that are graphs of the functions y = f(x) and y = ср x have a common point

    M() x0; v0, i.e. y0 = f x0 =ср x0 and tangents to the indicated curves drawn at the point M() x0; v0 do not coincide, then they say that the curves y = fix) and y - ср x intersect at the point Mo xo;Uo

    Figure 1 shows an example of the intersection of function graphs.

    To solve linear differential equations we will use the Laplace transform.

    Laplace transform called the ratio

    putting functions x(t) real variable t matching function X(s) complex variable s (s = σ+ jω). At the same time x(t) called original, X(s)- image or Laplace image And s- Laplace transform variable. The original is denoted by a lowercase letter, and its image is denoted by a capital letter of the same name.

    It is assumed that the function x(t), undergoing the Laplace transform, has the following properties:

    1) function x(t) defined and piecewise differentiable on the interval )