Implicit Equations of the Henneberg-Type Minimal Surface in the Four-Dimensional Euclidean Space

Considering the Weierstrass data as (ψ, f , g) = (2, 1 − z−m, zn), we introduce a two-parameter family of Henneberg-type minimal surface that we call Hm,n for positive integers (m, n) by using the Weierstrass representation in the four-dimensional Euclidean space E4. We define Hm,n in (r, θ) coordinates for positive integers (m, n) with m 6= 1, n 6= −1,−m + n 6= −1, and also in (u, v) coordinates, and then we obtain implicit algebraic equations of the Henneberg-type minimal surface of values (4, 2).

In the four-dimensional Euclidean space E 4 , a general definition of rotation surfaces was given by Moore in [28] as follows A more restricted case can be found in [29]: W(u, t) = (x 1 (u), x 2 (u), r(u) cos(t), r(u) sin(t)).
It is a bit too general since the curve is not located in any subspace before rotation. Güler and Kişi [30] studied the Weierstrass representation, the degree and the classes of surfaces in E 4 , see [31][32][33][34][35][36][37][38] for some previous work.
In this paper, we study a two-parameter family of Henneberg-type minimal surfaces using the Weierstrass representation in E 4 . We give the Weierstrass equations for a minimal surface in E 4 , and obtain two normals of the surface in Section 2.
In Section 3, we introduce complex form of the Henneberg-type minimal surface in 4-dimension, considering 3-dimension case. Then we define Henneberg-type minimal surface in the polar coordinates using real part for values (m, n) called H m,n , where m and n are positive integers with m = 1, n = −1, −m + n = −1. We also focus on Henneberg-type minimal surface H 4,2 using the Weierstrass representation in E 4 , and give explicit parametrizations for minimal Henneberg-type surface of values (4,2).
Finally, we describe how we obtained the implicit algebraic equation of the Henneberg-type surface H 4,2 , by using elimination techniques based on Groebner Basis in the software package Maple in Section 4.

Weierstrass Equations for a Minimal Surface in E 4
We identify − → x and − → x t without further comment.
Hoffman and Osserman [12] gave the Weierstrass equations for a minimal surface in E 4 : Here, ψ is analytic and the order of the zeros of ψ must be greater than the order of the poles of f , g at each point.
where ψ = 2z and f = f 1 + i f 2 , g = g 1 + ig 2 . We set which is perpendicular to X x , and which is perpendicular to X y .

Henneberg Family of Surfaces H m,n
In 3-space, the Weierstrass data of the Henneberg surface is known as ( f , g) = (1 − 1/z 4 , z). In 4-space, we consider general case of it and choose ψ = 2, f = 1 − 1/z m and g = z n in (1). This gives We integrate (6) to get complex form of the family of Henneberg-type minimal surface: with m = 1, n = −1, −m + n = −1. Therefore, we get following definition: Definition 1. Taking the real part of the (7), with z = re iθ , we obtain family of Henneberg-type minimal surface H m,n as follows where m = 1, n = −1, −m + n = −1.
Next, we see algebraic surface and its degree: x, y, z, w) | x, y, z, w ∈ R}, the set of roots of a polynomial f (x, y, z, w) = 0 gives an algebraic surface. An algebraic surface is said to be of degree n, when n = deg( f ).
On the other hand, we meet following lemma about an algebraic minimal surface and an algebraic curve, obtained by Henneberg: Lemma 1. (Henneberg [5,7]) A plane intersects an algebraic minimal surface in an algebraic curve.
See also [16] for details. Considering the above definition and lemma in 4-space, we obtain the following corollaries for the algebraic curves within the Henneberg-type minimal surface H 4,2 (u, v) in (10): on the xz-plane, obtained by eliminating u and v, is as follows (see Figure 1a) Its degree is deg(γ 4,2 (x, z)) = 6. Hence, the xz-plane intersects the algebraic minimal surface H 4,2 (u, v) in an algebraic curve γ 4,2 (u).
By eliminating u and v of H 4,2 (u, v) using Groebner Basis in the Maple software package (see Section 4), we obtain the irreducible implicit equations of H 4,2 (x, y, z, w) = 0 in the cartesian coordinates x, y, z, w. The degrees of the 125 implicit equations vary from 12 to 15. Next, we show only the leading term of one of the degree 15 implicit equations: Since deg (H 4,2 ) = 15, we have that H 4,2 (x, y, z, w) = 0 is an implicit algebraic Henneberg-type minimal surface in 4-space.

Maple Codes and Figures for Algebraic Henneberg Surface in E 4
To compute the implicit equation of the Henneberg surface in E 4 we have tried a series of standard techniques in elimination theory: projective (Macaulay) and sparse multivariate resultants implemented in the Maple package multires (The package can be found at http://www-sop. inria.fr/galaad/software/multires/multires), Maple's native implicitization command Implicitize, and implicitization based on Maples' native implementation of Groebner Basis. For the latter we implemented in Maple the method in [39] (Chapter 3, p. 128).
All the above methods failed to give the implicit equations in reasonable time. In particular, for the resultant methods, the bottleneck was the computation of the determinant of the huge resultant matrix.
The final and successful method we have tried was to compute the equations defining the elimination ideal using the Groebner Basis package FGb [40]. The package can be found at: https://www-polsys.lip6.fr/~jcf/FGb/index.html.
The time required to output the 125 polynomials defining the elimination ideal was under 20 s. See Figures 2 and 3 for the projections in R 3 of the surface defined by one of these polynomials.