For a smooth linear second-order partial differential equation on the plane, a nonlocal canonical form of its principal symbol near the type change line is proposed, up to a smooth change of coordinates and multiplication by a non-vanishing smooth function. It is assumed that the discriminant of the characteristic equation and its differential do not vanish simultaneously, and that the field of characteristic directions is nowhere tangent to this line. This form can be used to construct solutions to model boundary value problems for such equations; in particular, it is applied to finding infinitesimal bendings of smooth surfaces close to surfaces of revolution, clamped along two curves near the type change line.
Keywords: mixed type equations, canonical form, principal symbol, small bendings of surfaces
Received April 08, 2026
Revised April 27, 2026
Accepted April 30, 2026
Aleksei A. Davydov, Dr. Phys.-Math. Sci., Prof., Corr. Member of the RAS, Lomonosov Moscow State University, Moscow, Russia, e-mail: davydov@mi-ras.ru
Yuliya A. Kasten, Senior Lecturer, Vladimir State University named after A.G. and N.G.Stoletovs, Vladimir, Russia, e-mail: julikasten@bk.ru
Anton S. Platov, Cand. Phys.-Math. Sci., Assoc. Prof., National University of Science and Technology MISIS, Moscow, Russia, e-mail: platovmm@mail.ru
REFERENCES
1. Tricomi F. Sulle equazioni lineari alle derivate parziali di $2^{\circ}$ ordine di tipo misto. Memor. della R. Accad. Nar. dei Lincei. Ser. 5. Classe di scienze fisiche, matematiche e naturali. 1923, vol. 14, ser. 5, fasc. 7, pp. 133–247.
2. Cibrario M. Sulla riduzione a forma canonica delle equazioni lineari alle derivate parziali di secondo ordine di tipo misto. Ist. Lombardo, Rend.. Ser. II, 1932, vol. 65, pp. 889–906.
3. Kasten J.A. Solvability of the boundary value problem for a Tricomi type equation in the exterior of a disk. J. Math. Sci., 2013, vol. 188, no. 3, pp. 268–272. https://doi.org/10.1007/s10958-012-1125-4
4. Bicadze A.V. On the problem of equations of mixed type. Trudy Mat. Inst. Steklov, 1953, vol. 41, pp. 3–59 (in Russian).
5. Gellerstedt S. Sur un probleme aux limites pour l’equation $y^{2s} Z_{xx}+Z_{yy}=0$ . Ark. Mat. Astr. Fys., 1935, vol. 25A, no. 10, pp. 1–12.
6. Gellerstedt S. Quelques problèmes mixtes pour l’équation $y^m Z_{xx} + Z_{yy} = 0$. Ark. Mat. Astr. Fys., 1938, vol. 26A, no. 3, pp. 78–93.
7. Babenko K.I. The Tricomi problem. Dokl. Akad. Nauk SSSR, 1986, vol. 291, no. 1, pp. 14–19 (in Russian).
8. Soldatov A.P. Dirichlet-type problems for the Lavrent’ev — Bitsadze equation. I. Uniqueness theorems. Dokl. Math., 1994, vol. 48, no. 2, pp. 410–414.
9. Otway T.H. The Direchlet problem for elliptic-hyperbolic equations of Keldysh type. Ser. Lecture notes in mathematics. Berlin, Heidelberg, Springer, 2012, 214 p. https://doi.org/10.1007/978-3-642-24415-5
10. Dara L. Singularities generiques des equations differentielles multiformes. Bol. Soc. Bras. Math., 1975, vol. 6, no. 2, pp. 95–128. https://doi.org/10.1007/BF02584779
11. Arnold V.I. Dopolnitel’nyye glavy teorii obyknovennykh differentsial’nykh uravneniy [Additional chapters of the theory of ordinary differential equations]. Moscow, Nauka Publ., 1978, 304 p.
12. Thom R. Sur les equations différentielles multiforms et leur intégrales singuli`eres. Bol. Soc. Bras. Math., 1971, vol. 3, no. 1, pp. 1–11. https://doi.org/10.1007/BF02584837
13. Phakadze A.V., Shestakov A.A. On the classification of the singlar points of a first order differential equation not solved for the derivative. Mat. Sb., 1959, vol. 49(91), no. 1, pp. 3–12 (in Russian).
14. Davydov A.A. Normal form of a differential equation, not solvable for the derivative, in a neighborhood of a singular point. Funct. Anal. Appl., 1985, vol. 19, no. 2, pp. 81–89. https://doi.org/10.1007/BF01078387
15. Piliya A.D., Fedorov V.I. Singularities of the field of an electromagnetic wave in a cold anisotropic plasma with two-dimensional inhomogeneity. Soviet Physics — JETP, 1971, vol. 33, pp. 210–215.
16. Kuz’min A.G. Neklassicheskiye uravneniya smeshannogo tipa i ikh prilozheniya k gazodinamike [Non-classical equations of mixed type and their applications to gas dynamics]. Leningrad, LGU Publ., 1990, 205 p. ISBN: 5-288-00241-X .
17. Barlukova A.M., Chupakhin A.P. Partially invariant solutions in gas dynamics and implicit equations. J. Appl. Mech. Tech. Phys., 2012, vol. 53, no. 6, pp. 812–824. https://doi.org/10.1134/S0021894412060028
18. Davydov A.A., Rosales-Gonsales E. Complete classification of generic linear second-order partial differential equations in the plane. Dokl. Akad. Nauk, 1996, vol. 350, no. 2, pp. 151–154 (in Russian).
19. Davydov A.A., Rosales-Gonzales E. Smooth normal forms of folded resonance saddles and nodes and complete classification of generic linear second order PDE’s on the plane. In: L. Magalhaes, C. Rocha, L. Sanchez (eds.)Proc. Inter. Conf. on Differential Equations (Equadiff 95, Lisbon 1995), Singapore: World Scientific, 1998, pp. 59–68.
20. Kuz’min A.G. On the qualitative theory of equations $a(x,y)y''{-}2b(x,y)y'{+}(c,y)=0$. In: Deposited at VINITI on 1981, № 4143-81.
21. Bruce J.W., Fletcher G.J., Tari F. Bifurcations of implicit differential equations. Proc. Royal Soc. Edinburgh. Sec. A: Mathematics, 2000, vol. 130, no. 3, pp. 485–506. https://doi.org/10.1017/S0308210500000263
22. Tari F. Two-parameter families of implicit differential equations. Discr. Contin. Dyn. Syst. (DCDS), 2005, vol. 13, no. 1, pp. 139–162. https://doi.org/10.3934/dcds.2005.13.139
23. Tari F. Two-parameter families of binary differential equations. Discr. Contin. Dyn. Syst. (DCDS), 2008, vil. 22, no. 3, pp. 759–789. http://dx.doi.org/10.3934/dcds.2008.22.759
24. Davydov A., Ishikawa G., Izumiya S., Sun W.-Z. Generic singularities of implicit systems of first order differential equations on the plane. Jpn. J. Math., 2008, vol. 3, no. 1, pp. 93–119. https://doi.org/10.1007/s11537-008-0664-4
25. Davydov A.A., Trinh Thi Diep L. Normal forms of families of linear equations of mixed type near nonresonant folded singular points. Russian Math. Surveys, 2010, vol. 65, no. 5, pp. 984–986. https://doi.org/10.1070/RM2010v065n05ABEH004709
26. Bogaevsky I.A. Implicit ordinary differential equations: bifurcations and sharpening of equivalence. Izv. Math., 2014, vol. 78, no. 6, pp. 1063–1078. https://doi.org/10.1070/IM2014v078n06ABEH002720
27. Ali A.Z. Formal normal forms of typical surface reconstructions in three-dimensional contact space // Collection of Abstracts of Reports of the International Conf. and Internat. School of Young Scientists (Suzdal, 2024) / Steklov Math. Inst. of the Russian Academy of Sciences [et al.]. Vladimir: Izdvo VlSU, 2024. pp. 87–88 (in Russiаn). ISBN 978-5-9984-1747-4 .
28. Davydov A.A. Singularities of fields of limiting directios of two-dimensional control systems. Math. USSR-Sb., 1989, vol. 64, no. 2, pp. 471–493. https://doi.org/10.1070/SM1989v064n02ABEH003321
29. Davydov A.A. Structural stability of control systems on orientable surfaces. Math. USSR-Sb., 1992, vol. 72, no. 1, pp. 1–28. https://doi.org/10.1070/SM1992v072n01ABEH001262
30. Davydov A.A. Local controllability of typical dynamical inequalities on surfaces. Proc. Steklov Inst. Math., 1995, vol. 209, pp. 73–106.
31. Grishina Y.A., Davydov A.A. Structural stability of simplest dynamical inequalities. Proc. Steklov Inst. Math., 2007, vol. 256, pp. 80–91. https://doi.org/10.1134/S0081543807010051
32. Andronov A.A., Pontryagin L.S. Rough systems. Dokl. Akad. Nauk SSSR, 1937, vol. XIV, no. 5, pp. 247–250.
33. Pogorelov A.V. Izgibaniya poverkhnostey i ustoychivost’ obolochek [Bending of surfaces and stability of shells]. Moscow, Nauka Publ., 1986, 93 p.
34. Davydov A.A., Kasten Y.A. On nonlocal normal forms of linear second order mixed type PDEs on the plane. In: Feichtinger G., Kovacevic R., Tragler G. (eds.) Control systems and mathematical methods in economics. Lecture Notes in Economics and Mathematical Systems. Cham, Springer, 2018, vol. 687, pp. 15–25. https://doi.org/10.1007/978-3-319-75169-6_2
35. Ladyzhenskaya O.A., Ural’tseva N.N. Linear and quasilinear elliptic equations. NY, London, Academic Press, 1968, 495 p. Translated to Russian under the title Lineynyye i kvazilineynyye uravneniya ellipticheskogo tipa, Moscow, Nauka Publ., 1973, 576 p.
36. Olver F. Asymptotics and special functions. NY, Acad. Press, 1974, 600 p. ISBN: 012525850X . Translated to Russian under the title Asimptotika i spetsial’nyye funktsii, Moskva, Nauka Publ., 1990, 528 p. ISBN: 5-02-014228-X .
Cite this article as: A.A. Davydov, Yu.A. Kasten, A.S. Platov. Nonlocal canonical form of Tricomi–Cibrario near a smooth closed line of type change. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2026, vol. 32, no. 2, pp. 87–99.