The Allen-Cahn equation is a famous nonlinear reaction-diffusion equation used to study geometric motion and minimal hypersurfaces. This link has been scrutinized to construct minimal surfaces for many years. The shape of soap film is very interesting, and it can stimulate mathematical inspirations since it explains curvatures and equilibrium shapes in nature. There are many interesting ways to create area-minimizing surfaces with the boundaries, called frame boundaries. However, dealing with surface's ends (boundaries) numerically is not easy for constructing surfaces. This paper presents a mathematical formulation and numerical construction of area-minimizing surfaces, also known as minimal surfaces. We use differential geometry knowledge for numerical verification. The proposed numerical scheme involves fixed frame boundary conditions in the Laplacian operator. We treat the Laplacian with the constraint implicitly and explicitly solve the nonlinear free energy term. This approach ensures stable and efficient construction of area-minimizing surfaces with frame boundaries. In the numerical aspect, we suggest the construction of minimal surfaces by illustrating two classical examples, which are Scherk's minimal surface and catenoid. Both examples have the frame boundaries. Scherk's first surface is a doubly periodic, complete and properly embedded one with parallel ends. The catenoid is formed between two coaxial circular rings and is classified mathematically as the only properly embedded minimal surface with two ends and finite curvature. To be specific, we deal with two different frame boundaries, right angle frame and round frame boundaries, via two examples, Scherk's surface and catenoid.
Citation: Dongsun Lee. Computing the area-minimizing surface by the Allen-Cahn equation with the fixed boundary[J]. AIMS Mathematics, 2023, 8(10): 23352-23371. doi: 10.3934/math.20231187
The Allen-Cahn equation is a famous nonlinear reaction-diffusion equation used to study geometric motion and minimal hypersurfaces. This link has been scrutinized to construct minimal surfaces for many years. The shape of soap film is very interesting, and it can stimulate mathematical inspirations since it explains curvatures and equilibrium shapes in nature. There are many interesting ways to create area-minimizing surfaces with the boundaries, called frame boundaries. However, dealing with surface's ends (boundaries) numerically is not easy for constructing surfaces. This paper presents a mathematical formulation and numerical construction of area-minimizing surfaces, also known as minimal surfaces. We use differential geometry knowledge for numerical verification. The proposed numerical scheme involves fixed frame boundary conditions in the Laplacian operator. We treat the Laplacian with the constraint implicitly and explicitly solve the nonlinear free energy term. This approach ensures stable and efficient construction of area-minimizing surfaces with frame boundaries. In the numerical aspect, we suggest the construction of minimal surfaces by illustrating two classical examples, which are Scherk's minimal surface and catenoid. Both examples have the frame boundaries. Scherk's first surface is a doubly periodic, complete and properly embedded one with parallel ends. The catenoid is formed between two coaxial circular rings and is classified mathematically as the only properly embedded minimal surface with two ends and finite curvature. To be specific, we deal with two different frame boundaries, right angle frame and round frame boundaries, via two examples, Scherk's surface and catenoid.
[1] | S. M. Allen, J. W. Cahn, A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening, Acta Metall., 27 (1979), 1085–1095. https://doi.org/10.1016/0001-6160(79)90196-2 doi: 10.1016/0001-6160(79)90196-2 |
[2] | H. Alsayed, H. Fakih, A. Miranville, A. Wehbe, Optimal control of an Allen-Cahn model for tumor growth through supply of cytotoxic drugs, Discrete Cont. Dyn-S., 15 (2022), 3481–3515. |
[3] | S. Bartels, Springer International Publishing: Part of: Springer Computational Mathematics, Freiburg, 2015. |
[4] | N. Batangouna, A robust family of exponential attractors for a time semi-discretization of the Ginzburg-Landau equation, AIMS Math. 7 (2022), 1399–1415. |
[5] | J. Berglund, W. Rossman: Minimal surfaces with catenoid ends, Pacific J. Math., 171 (1995), 353–371. https://doi.org/10.2140/pjm.1995.171.353 doi: 10.2140/pjm.1995.171.353 |
[6] | E. Bretin, V. Perrier, Phase field method for mean curvature flow with boundary constraints, ESAIM: M2AN, 46 (2012), 1509–1526. https://doi.org/10.1051/m2an/2012014 doi: 10.1051/m2an/2012014 |
[7] | D. Carmo, P. Manfredo, Differential Geometry of Curves and Surfaces (Second ed.) Dover Publications, New York, 2016. |
[8] | O. Chodosh, C. Mantoulidis, Minimal surfaces and the Allen–Cahn equation on 3-manifolds: index, multiplicity, and curvature estimates, Ann. Math., 191 (2020), 213–328. |
[9] | D. L. Chopp, Computing minimal surfaces via level set curvature flow, J. Comput. Phys. 106 (1993), 77–91. https://doi.org/10.1006/icar.1993.1159 |
[10] | Y. Deng, Z. Weng, Barycentric interpolation collocation method based on Crank-Nicolson scheme for the Allen-Cahn equations, AIMS Math., 6 (2021), 3857–3873. |
[11] | J. E. Hutchinson, Y. Tonegawa, Convergence of phase interfaces in the van der Waals-Cahn-Hilliard theory, Calc. Var. Partial Dif., 10 (2000), 49–84. https://doi.org/10.1007/BF03229915 doi: 10.1007/BF03229915 |
[12] | T. Ilmanen, Convergence of the Allen-Cahn equation to Brakke's motion by mean curvature, J. Differ. Geom., 38 (1993), 417–461. https://doi.org/10.1007/BF00007540 doi: 10.1007/BF00007540 |
[13] | Y. Kim, D. Lee, Numerical investigation into the dependence of the Allen–Cahn equation on the free energy, Adv. Comput. Math., 48 (2022), 1–32. |
[14] | Y. LeCun, L. Bottou, Y. Bengio, P. Haffner, Computing Minimal Surfaces via Level Set Curvature Flow, P. IEEE, 86 (1998), 2278–2324. https://doi.org/10.1109/5.726791 doi: 10.1109/5.726791 |
[15] | D. Lee, J. Kim, Mean curvature flow by the Allen-Cahn equation, Eur. J. Appl. Math., 26 (2015), 535–559. https://doi.org/10.1017/S0956792515000200 doi: 10.1017/S0956792515000200 |
[16] | D. Lee, J. Kim, Comparison study of the conservative Allen-Cahn and the Cahn-Hilliard equations, Math. Comput. Simul., 119 (2016), 35–56. https://doi.org/10.1016/j.matcom.2015.08.018 doi: 10.1016/j.matcom.2015.08.018 |
[17] | S. Lee, D. Lee, Image segmentation based on modified fractional Allen-Cahn Equation, Math. Probl. Eng., 2019 (2019), Article ID 3980181, 1–7. |
[18] | Y. Li, S. Guo, Triply periodic minimal surface using a modified Allen-Cahn equation, Appl. Math. Comput. Appl., 295 (2017), 84–94. https://doi.org/10.1016/j.amc.2016.10.005 doi: 10.1016/j.amc.2016.10.005 |
[19] | Y. Li, H. Lee, D. Jeong, J. Kim, An unconditionally stable hybrid numerical method for solving the Allen–Cahn equation, Comput. Math. Appl., 60 (2010), 1591–1606. https://doi.org/10.1016/j.camwa.2010.06.041 doi: 10.1016/j.camwa.2010.06.041 |
[20] | Y. Li, Q. Xia, S. Yoon, C. Lee, B. Lu, J. Kim, Simple and efficient volume merging method for triply periodic minimal structures, Comput. Phys. Commun., 264 (2011), 107956. |
[21] | W. H. Meeks, A survey of the geometric results in the classical theory of minimal surfaces, Bol. Soc. Bras. Mat., 12 (1981), 29–86. https://doi.org/10.1007/BF02588319 doi: 10.1007/BF02588319 |
[22] | W. H. Meeks, J. Pérez, The classical theory of minimal surfaces, Bull. Amer. Math. Soc., 48 (2011), 325–407. https://doi.org/10.1090/S0273-0979-2011-01334-9 doi: 10.1090/S0273-0979-2011-01334-9 |
[23] | M. S. Mizuhara, L. Berlyand, V. Rybalko, L. Zhang, On an evolution equation in a cell motility model, Physica D, 318 (2016), 12–25. https://doi.org/10.1002/nba.30170 doi: 10.1002/nba.30170 |
[24] | J. Oprea, The Mathematics of Soap Films: Explorations with Maple, American Mathematical Society, 10, Rhode Island, 2000. https://doi.org/10.1090/stml/010 |
[25] | F. Pacard, The role of minimal surfaces in the study of the Allen-Cahn equation, In Geometric analysis: partial differential equations and surfaces, Contemp. Math., 570 (2012), 137–163. |
[26] | M. Stoll, H. Yücel, Symmetric interior penalty Galerkin method for fractional-in-space phase-field equations, AIMS Math., 3 (2018), 66–95. |
[27] | T. Suzuki, K. Takasao, N. Yamazaki, New approximate method for the Allen-Cahn equation with double-obstacle constraint and stability criteria for numerical simulations, AIMS Math., 1 (2016), 288–317. |
[28] | Z. Weng, L. Tang, Analysis of the operator splitting scheme for the Allen–Cahn equation, Numer. Heat Tr. B-Fundam., 70 (2016), 123847. |
[29] | Q. Xia, J. Kim, B. Xia, Y. Li, An unconditionally energy stable method for binary incompressible heat conductive fluids based on the phase–field model, Comput. Math. Appl., 123 (2022), 26–39. |
[30] | Q. Xia, J. Yang, Y. Li, On the conservative phase-field method with the N-component incompressible flows, Phys. Fluids, 35 (2023), 012120. https://doi.org/10.1063/5.0135490 doi: 10.1063/5.0135490 |
[31] | S. Yang, H. Lee, J. Kim, A phase-field approach for minimizing the area of triply periodic surfaces with volume constraint, Comput. Phys. Commun., 181 (2010), 1037–1046. https://doi.org/10.1016/j.cpc.2010.02.010 doi: 10.1016/j.cpc.2010.02.010 |
[32] | Q. Yu, Q. Xia, Y. Li, A phase field-based systematic multiscale topology optimization method for porous structures design, J. Comput. Phys., 466 (2022), 111383. https://doi.org/10.1016/j.jcp.2022.111383 doi: 10.1016/j.jcp.2022.111383 |