Solution of an Inverse Stefan Problem in Analyzing the Freezing of Groundwater in a Rock Mass

  • L. Yu. LevinEmail author
  • M. A. Semin
  • A. V. Zaitsev

A one-dimensional inverse Stefan problem is formulated in cylindrical coordinates. The problem is of interest in the analysis of freezing a mass of rock and forming an iced rock barrier around a single freezing column in building shafts as well as solving the problem of controlling the process of thawing. Additional conditions in the formulation of the inverse problem are the data of experimental measurements of temperatures in thermal boreholes located at a certain given distance from a freezing column and the magnitudes of temperatures and of the cold-carrier flow rate in freezing columns. An analytical expression is presented for the functional that determines the measure of proximity of the obtained solution to the exact one. A numerical method has been developed for solving the posed inverse problem by minimizing the functional.


iced rock barrier coefficient inverse Stefan problem minimization of functional freezing column controlling-thermal borehole mass of rock phase transition building of shafts 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. A. Romenskii, Justification of the Parameters of Sinking Cycle and of Iced Rock Barrier in Building Vertical Shafts, Candidate′s Dissertation (in Engineering), Moscow Mining Institute, Moscow (1983).Google Scholar
  2. 2.
    L. Yu. Levin, M. A. Semin, and O. S. Parshakov, Mathematical prediction of the thickness of an iced rock barrier in sinking shafts, Fiz.-Tekh. Probl. Razrab. Polez. Iskop., No. 5, 154–161 (2017).Google Scholar
  3. 3.
    N. G. Trupak, Freezing of Rocks in Shaft Sinking [in Russian], Ugletekhizdat, Moscow (1954).Google Scholar
  4. 4.
    N. G. Trupak, Freezing of Ground in Underground Building [in Russian], Nedra, Moscow (1974).Google Scholar
  5. 5.
    G. I. Man′kovskii, Special Methods in Sinking in Opening Rocks [in Russian], Ugletekhizdat, Moscow (1958).Google Scholar
  6. 6.
    O. A. Dolgov, Methods of calculating the process of freezing rocks in sinking shafts by freezing to a large depth, in: Freezing of Rocks in Shaft Sinking [in Russian], Izd. Akad. Nauk SSSR, Moscow (1961), pp. 9–64.Google Scholar
  7. 7.
    T. Van Hayden and B. Wegner, Modern technology of freezing rocks on the example of two objects at the stage of construction consisting of five vertical shafts, Gorn. Zh., No. 9, 65–69 (2014).Google Scholar
  8. 8.
    N. L. Gol′dman, Classes of the uniqueness of solution of two-phase coefficient Stefan′s problems, Dokl. Akad. Nauk, 449, No. 5, 507–511 (2013).MathSciNetGoogle Scholar
  9. 9.
    O. M. Alifanov, Inverse Heat Transfer Problems [in Russian], Mashinostroenie, Moscow (1988).Google Scholar
  10. 10.
    A. N. Tikhonov and V. Y. Arsenin, Solution of Ill-Posed Problems, Winston & Sons, Washington, DC (1977).zbMATHGoogle Scholar
  11. 11.
    B. M. Budak, E. N. Solov′eva, and A. B. Uspenskii, Difference method with the smoothing of coefficients for solving Stefan′s problems, Zh. Vychisl. Mat. Mat. Fiz., 5, No. 5, 828–840 (1965).Google Scholar
  12. 12.
    Yu. V. Zhernovyi and M. T. Saichuk, Numerical solution of Stefan problems by the method of Green functions, J. Eng. Phys. Thermophys., 71, No. 3, 565–572 (1998).CrossRefGoogle Scholar
  13. 13.
    H. S. Carslaw and J. C. Jaeger, Conduction of Heat in Solids [Russian translation], Nauka, Moscow (1964).Google Scholar
  14. 14.
    B. Choudhary, The Elements of Complex Analysis, New Age International Ltd., New Delhi, India (1992).zbMATHGoogle Scholar
  15. 15.
    Report on Scientific-Research Work No. 33/2016 "Control of the Formation and State of the Iced Rock Barrier around Shaft Boreholes No. 1 and No. 2 of the Petrikov Mining-Enriching Complex Optical Fiber Technology," Stage 1, Mining Institute of the Russian Academy of Sciences, Perm (2016).Google Scholar
  16. 16.
    A. Yu. Shcheglov, On the monotonicity of the solution of a mixed problem for the quasi-linear heat conduction equation with discontinuous coefficients, Zh. Vychisl. Mat. Mat. Fiz., 36, No. 6, 86–94 (1996).MathSciNetGoogle Scholar
  17. 17.
    A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marychev, Integrals and Series [in Russian], 2nd edn., Vol. 1, Fizmatlit, Moscow (2003).Google Scholar
  18. 18.
    V. A. Il′in and É. G. Poznyak, Principles of Mathematical Analysis, Pt. 1, Textbook for Universities [in Russian], 7th edn., Fizmatlit, Moscow (2005).Google Scholar
  19. 19.
    V. N. Afanas′ev, V. B. Kolmanovskii, and V. R. Nosov, Mathematical Theory of Constructing Controlling Systems [in Russian], Vysshaya Shkola, Moscow (2003).Google Scholar
  20. 20.
    Yu. A. Maksimov and E. A. Fillipovskaya, Algorithms of Solving the Problems of Nonlinear Programming [in Russian], Moscow Engineering-Physical Institute, Moscow (1982).Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Mining InstituteUral Branch of the Russian Academy of SciencesPermRussia

Personalised recommendations