1: \begin{abstract}

2: The moving mesh PDE (MMPDE) method for variational mesh generation and adaptation

3: is studied theoretically at the discrete level, in particular the nonsingularity of the obtained meshes.

4: Meshing functionals are discretized geometrically and the MMPDE

5: is formulated as a modified gradient system of the corresponding discrete functionals

6: for the location of mesh vertices.

7: It is shown that if the meshing functional satisfies a coercivity condition,

8: then the mesh of the semi-discrete MMPDE is nonsingular for all time if it is nonsingular initially.

9: Moreover, the altitudes and volumes of its elements are bounded below by positive numbers depending

10: only on the number of elements, the metric tensor, and the initial mesh.

11: Furthermore, the value of the discrete meshing functional is convergent as time increases,

12: which can be used as a stopping criterion in computation.

13: Finally, the mesh trajectory has limiting meshes which are critical points of the discrete functional.

14: The convergence of the mesh trajectory can be guaranteed when a stronger condition

15: is placed on the meshing functional.

16: Two meshing functionals based on alignment and equidistribution are known to satisfy the coercivity condition.

17: The results also hold for fully discrete systems of the MMPDE provided that

18: the time step is sufficiently small and a numerical scheme preserving the property of monotonically decreasing

19: energy is used for the temporal discretization of the semi-discrete MMPDE.\@

20: Numerical examples are presented.

21: \\[2ex]

22: \noindent\textbf{AMS 2010 MSC.}

23: 65N50, 65K10

24: \\[1ex]

25: \noindent\textbf{Key Words.}

26: Variational mesh generation, mesh adaptation, moving mesh PDE, mesh nonsingularity,

27: limiting mesh

28: \end{abstract}

29: