In this paper, we study the evolution of hypersurface moving by the mean curvature minus an external force field. It is shown that the flow will blow up in a finite time if the mean curvature of the initial surface is...In this paper, we study the evolution of hypersurface moving by the mean curvature minus an external force field. It is shown that the flow will blow up in a finite time if the mean curvature of the initial surface is larger than some constant depending on the boundness of derivatives of the external force field. For a linear force, we prove that the convexity of the hypersurface is preserved during the evolution and the flow has a unique smooth solution in any finite time and expands to infinity as the time tends to infinity if the initial curvature is smaller than the slope of the force.展开更多
We study a fourth order curve flow, which is the gradient flow of a functional describing the shapes of human red blood cells. We prove that for any smooth closed initial curve in R2, the flow has a smooth solution fo...We study a fourth order curve flow, which is the gradient flow of a functional describing the shapes of human red blood cells. We prove that for any smooth closed initial curve in R2, the flow has a smooth solution for all time and the solution subconverges to a critical point of the functional.展开更多
In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian deter...In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.展开更多
基金This work was partially supported by the National Natural Science Foundation of China (Grant No. 10631020)Basic Research Grant of Tsinghua University (Grant No. JCJC2005071).
文摘In this paper, we study the evolution of hypersurface moving by the mean curvature minus an external force field. It is shown that the flow will blow up in a finite time if the mean curvature of the initial surface is larger than some constant depending on the boundness of derivatives of the external force field. For a linear force, we prove that the convexity of the hypersurface is preserved during the evolution and the flow has a unique smooth solution in any finite time and expands to infinity as the time tends to infinity if the initial curvature is smaller than the slope of the force.
基金supported by Postdoctoral Science Foundation of China, National Natural Science Foundationof China (No. 10631020, 10871061)the Grant for PhD Program of Ministry of Education of China
文摘We study a fourth order curve flow, which is the gradient flow of a functional describing the shapes of human red blood cells. We prove that for any smooth closed initial curve in R2, the flow has a smooth solution for all time and the solution subconverges to a critical point of the functional.
基金the National Key Basic Research Project of China (Grant No.2004CB318000)
文摘In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.
