[Paper Review] Biharmonic curves into quadrics

Stefano Montaldo, Andrea Ratto|arXiv (Cornell University)|Sep 3, 2013

Geometric Analysis and Curvature Flows10 references3 citations

TL;DR

This paper introduces an algebraic method to classify biharmonic curves in 3D Euclidean space by analyzing their intersection with algebraic surfaces defined by polynomial equations. It provides a complete classification of biharmonic curves on non-degenerate real quadrics, showing that such curves must lie on the intersection of the quadric and a specific second algebraic surface, with explicit solutions derived for ellipsoids and hyperboloids under symmetry conditions.

ABSTRACT

We develop an essentially algebraic method to study biharmonic curves into an implicit surface. Although our method is rather general, it is especially suitable to study curves into surfaces defined by a polynomial equation: in particular, we use it to give a complete classification of biharmonic curves into real quadrics of the 3-dimensional Euclidean space.

Motivation & Objective

• To develop a general algebraic framework for classifying biharmonic curves in implicit surfaces defined by polynomial equations.
• To overcome the analytical difficulty of solving fourth-order ODEs for biharmonic curves by reducing the problem to algebraic geometry.
• To provide a complete classification of biharmonic curves on all non-degenerate real quadrics in 3D Euclidean space.
• To extend the method to other implicit surfaces, such as surfaces of revolution, and derive conditions for biharmonic parallels.
• To identify necessary and sufficient algebraic conditions for a curve to be biharmonic, particularly focusing on constant curvature and symmetry constraints.

Proposed method

• Represent a quadric in R³ as the zero set of a quadratic polynomial F(x,y,z) = 0.
• Derive a second algebraic surface G(x,y,z) = 0 such that any biharmonic curve must lie in the intersection F ∩ G.
• Use the Frenet frame and curvature relations to express the biharmonic condition as a system involving geodesic curvature k₁ and Gauss curvature K.
• Reduce the biharmonic condition k₁² = K to a system of polynomial equations in the coordinates of the curve.
• Apply symmetry assumptions (e.g., rotational invariance) to simplify the system and classify solutions for ellipsoids and hyperboloids.
• Generalize the method to other implicit surfaces, such as those defined by F(x,y,z) = (x²+y²)^n + z^{2n}/c² - 1, by computing K and k₁ explicitly and solving k₁² = K algebraically.

Experimental results

Research questions

• RQ1 What are the necessary and sufficient algebraic conditions for a curve lying on a quadric in R³ to be biharmonic?
• RQ2 Can biharmonic curves on non-degenerate quadrics be fully classified using algebraic geometry rather than solving fourth-order ODEs?
• RQ3 Under what conditions do parallels (curves of constant z) on surfaces of revolution become biharmonic?
• RQ4 Do there exist surfaces of revolution where all parallels are biharmonic, and what is the functional form of such surfaces?
• RQ5 How does the algebraic method compare in effectiveness to analytical approaches for classifying biharmonic curves on symmetric surfaces?

Key findings

• All biharmonic curves on a non-degenerate quadric in R³ must be contained in the intersection of the quadric with a second algebraic surface G(x,y,z) = 0.
• For ellipsoids with a = b (prolate or oblate), the only possible biharmonic curves are those with constant geodesic curvature, but no such curves exist due to inconsistency in the biharmonic condition.
• On hyperboloids of revolution, biharmonic curves exist only if the symmetry and curvature conditions are satisfied, and they are characterized by specific algebraic constraints on the parameters.
• For surfaces of revolution defined by F(x,y,z) = (x²+y²)^n + z^{2n}/c² - 1, the equation k₁² = K reduces to a continuous equation in d (the z-level), which admits at least one solution d₀ ∈ [0, c^{1/n}) for any c > 0 and n ≥ 1.
• For graphs of revolution z = f(ρ), all parallels are biharmonic if and only if f satisfies the ODE f′² − ρf′f′′ + 1 = 0, whose explicit solution is f(ρ) = ½(ρ√(e^{2c₁}ρ² − 1) − e^{−c₁}log(2e^{c₁}(√(e^{2c₁}ρ² − 1) + e^{c₁}ρ))) + c₂.
• The surface of revolution with all parallels biharmonic is uniquely determined and matches a known result from prior work, confirming consistency of the algebraic method.