-
Orthogonal sequences constructed from quasi-orthogonal ultraspherical polynomials
Authors:
Oksana Bihun,
Kathy Driver
Abstract:
Let $\displaystyle \{x_{k,n-1}\} _{k=1}^{n-1}$ and $\displaystyle \{x_{k,n}\} _{k=1}^{n},$ $n \in \mathbb{N}$, be two sets of real, distinct points satisfying the interlacing property $ x_{i,n}<x_{i,n-1}< x_{i+1,n}, \, \, \, i = 1,2,\dots,n-1.$ Wendroff proved that if $p_{n-1}(x) = \displaystyle \prod _{k=1}^{n-1} (x-x_{k,n-1})$ and $p_n(x) = \displaystyle \prod _{k=1}^n (x-x_{k,n})$, then…
▽ More
Let $\displaystyle \{x_{k,n-1}\} _{k=1}^{n-1}$ and $\displaystyle \{x_{k,n}\} _{k=1}^{n},$ $n \in \mathbb{N}$, be two sets of real, distinct points satisfying the interlacing property $ x_{i,n}<x_{i,n-1}< x_{i+1,n}, \, \, \, i = 1,2,\dots,n-1.$ Wendroff proved that if $p_{n-1}(x) = \displaystyle \prod _{k=1}^{n-1} (x-x_{k,n-1})$ and $p_n(x) = \displaystyle \prod _{k=1}^n (x-x_{k,n})$, then $p_{n-1}$ and $p_n$ can be embedded in a non-unique monic orthogonal sequence $\{p_{n}\} _{n=0}^\infty. $ We investigate a question raised by Mourad Ismail at OPSFA 2015 as to the nature and properties of orthogonal sequences generated by applying Wendroff's Theorem to the interlacing zeros of $C_{n-1}^λ(x)$ and $ (x^2-1) C_{n-2}^λ(x)$, where $\{C_{k}^λ(x)\} _{k=0}^\infty$ is a sequence of monic ultraspherical polynomials and $-3/2 < λ< -1/2,$ $λ\neq -1.$ We construct an algorithm for generating infinite monic orthogonal sequences $\{D_{k}^λ(x)\} _{k=0}^\infty$ from the two polynomials $D_n^λ (x): = (x^2-1) C_{n-2}^λ (x)$ and $D_{n-1}^λ (x): = C_{n-1}^λ (x)$, which is applicable for each pair of fixed parameters $n,λ$ in the ranges $n \in \mathbb{N}, n \geq 5$ and $λ> -3/2$, $λ\neq -1,0, (2k-1)/2, k=0,1,\ldots$. We plot and compare the zeros of $D_m^λ (x)$ and $C_m^λ (x)$ for several choices of $m \in \mathbb{N}$ and a range of values of the parameters $λ$ and $n$. For $-3/2 < λ< -1,$ the curves that the zeros of $D_m^λ (x)$ and $C_m^λ (x)$ approach are substantially different for large values of $m.$ When $-1 < λ< -1/2,$ the two curves have a similar shape while the curves are almost identical for $λ>-1/2.$
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Solvable dynamical systems and isospectral matrices defined in terms of the zeros of orthogonal or otherwise special polynomials
Authors:
Oksana Bihun
Abstract:
Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of isospectral matrices defined in terms of the zeros of such polynomials is discussed. The method involves reduction of certain partial differential, differential dif…
▽ More
Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of isospectral matrices defined in terms of the zeros of such polynomials is discussed. The method involves reduction of certain partial differential, differential difference and differential q-difference equations to systems of ordinary differential equations and their subsequent linearization about the zeros of polynomials in question. Via this process, solvable (in terms of algebraic operations) nonlinear first order systems of ordinary differential equations are constructed.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
Time-dependent polynomials with one multiple root and new solvable dynamical systems
Authors:
Oksana Bihun
Abstract:
A time-dependent monic polynomial in the z variable with N distinct roots such that exactly one root has multiplicity m>=2 is considered. For k=1,2, the k-th derivatives of the N roots are expressed in terms of the derivatives of order j<= k of the first N coefficients of the polynomial and of the derivatives of order j<= k-1 of the roots themselves. These relations are utilized to construct new c…
▽ More
A time-dependent monic polynomial in the z variable with N distinct roots such that exactly one root has multiplicity m>=2 is considered. For k=1,2, the k-th derivatives of the N roots are expressed in terms of the derivatives of order j<= k of the first N coefficients of the polynomial and of the derivatives of order j<= k-1 of the roots themselves. These relations are utilized to construct new classes of algebraically solvable first order systems of ODEs as well as N-body problems. Multiple examples of solvable isochronous (all solutions are periodic with the same period) 2- and 3-body problems are provided.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
The Chazy XII Equation and Schwarz Triangle Functions
Authors:
Oksana Bihun,
Sarbarish Chakravarty
Abstract:
Dubrovin [Lecture Notes in Math., Vol. 1620, Springer, Berlin, 1996, 120-348] showed that the Chazy XII equation $y'''- 2yy''+3y'^2 = K(6y'-y^2)^2$, $K \in \mathbb{C}$, is equivalent to a projective-invariant equation for an affine connection on a one-dimensional complex manifold with projective structure. By exploiting this geometric connection it is shown that the Chazy XII solution, for certain…
▽ More
Dubrovin [Lecture Notes in Math., Vol. 1620, Springer, Berlin, 1996, 120-348] showed that the Chazy XII equation $y'''- 2yy''+3y'^2 = K(6y'-y^2)^2$, $K \in \mathbb{C}$, is equivalent to a projective-invariant equation for an affine connection on a one-dimensional complex manifold with projective structure. By exploiting this geometric connection it is shown that the Chazy XII solution, for certain values of $K$, can be expressed as $y=a_1w_1+a_2w_2+a_3w_3$ where $w_i$ solve the generalized Darboux-Halphen system. This relationship holds only for certain values of the coefficients $(a_1,a_2,a_3)$ and the Darboux-Halphen parameters $(α, β, γ)$, which are enumerated in Table 2. Consequently, the Chazy XII solution $y(z)$ is parametrized by a particular class of Schwarz triangle functions $S(α, β, γ; z)$ which are used to represent the solutions $w_i$ of the Darboux-Halphen system. The paper only considers the case where $α+β+γ<1$. The associated triangle functions are related among themselves via rational maps that are derived from the classical algebraic transformations of hypergeometric functions. The Chazy XII equation is also shown to be equivalent to a Ramanujan-type differential system for a triple $(\hat{P}, \hat{Q},\hat{R})$.
△ Less
Submitted 25 December, 2017;
originally announced December 2017.
-
Polynomials Whose Coefficients Coincide with Their Zeros
Authors:
Oksana Bihun,
Damiano Fulghesu
Abstract:
In this paper we consider monic polynomials such that their coefficients coincide with their zeros. These polynomials were first introduced by S. Ulam. We combine methods of algebraic geometry and dynamical systems to prove several results. We obtain estimates on the number of Ulam polynomials of degree $N$. We provide additional methods to obtain algebraic identities satisfied by the zeros of Ula…
▽ More
In this paper we consider monic polynomials such that their coefficients coincide with their zeros. These polynomials were first introduced by S. Ulam. We combine methods of algebraic geometry and dynamical systems to prove several results. We obtain estimates on the number of Ulam polynomials of degree $N$. We provide additional methods to obtain algebraic identities satisfied by the zeros of Ulam polynomials, beyond the straightforward comparison of their zeros and coefficients. To address the question about existence of orthogonal Ulam polynomial sequences, we show that the only Ulam polynomial eigenfunctions of hypergeometric type differential operators are the trivial Ulam polynomials $\{x^N\}_{N=0}^\infty$. We propose a family of solvable $N$-body problems such that their stable equilibria are the zeros of certain Ulam polynomials.
△ Less
Submitted 18 June, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Generalized Pseudospectral Method and Zeros of Orthogonal Polynomials
Authors:
Oksana Bihun,
Clark Mourning
Abstract:
Via a generalization of the pseudospectral method for numerical solution of differential equations, a family of nonlinear algebraic identities satisfied by the zeros of a wide class of orthogonal polynomials is derived. The generalization is based on a modification of pseudospectral matrix representations of linear differential operators proposed in the paper, which allows these representations to…
▽ More
Via a generalization of the pseudospectral method for numerical solution of differential equations, a family of nonlinear algebraic identities satisfied by the zeros of a wide class of orthogonal polynomials is derived. The generalization is based on a modification of pseudospectral matrix representations of linear differential operators proposed in the paper, which allows these representations to depend on two, rather than one, sets of interpolation nodes. The identities hold for every polynomial family $\{p_ν(x)\}_{ν=0}^\infty$ orthogonal with respect to a measure supported on the real line that satisfies some standard assumptions, as long as the polynomials in the family satisfy differential equations $\mathcal{A} p_ν(x) =q_ν(x) p_ν(x)$, where $\mathcal{A}$ is a linear differential operator and each $q_ν(x)$ is a polynomial of degree at most $n_0 \in \mathbb{N}$; $n_0$ does not depend on $ν$. The proposed identities generalize known identities for classical and Krall orthogonal polynomials, to the case of the nonclassical orthogonal polynomials that belong to the class described above. The generalized pseudospectral representations of the differential operator $\mathcal{A}$ for the case of the Sonin-Markov orthogonal polynomials, also known as generalized Hermite polynomials, are presented. The general result is illustrated by new algebraic relations satisfied by the zeros of the Sonin-Markov polynomials.
△ Less
Submitted 18 June, 2018; v1 submitted 19 January, 2017;
originally announced January 2017.
-
New Properties of the Zeros of Krall Polynomials
Authors:
Oksana Bihun
Abstract:
We identify a class of remarkable algebraic relations satisfied by the zeros of the Krall orthogonal polynomials that are eigenfunctions of linear differential operators of order higher than two. Given an orthogonal polynomial family {p_n(x)}, we relate the zeros of the polynomial p_N with the zeros of p_m for each m <= N (the case m=N corresponding to the relations that involve the zeros of p_N o…
▽ More
We identify a class of remarkable algebraic relations satisfied by the zeros of the Krall orthogonal polynomials that are eigenfunctions of linear differential operators of order higher than two. Given an orthogonal polynomial family {p_n(x)}, we relate the zeros of the polynomial p_N with the zeros of p_m for each m <= N (the case m=N corresponding to the relations that involve the zeros of p_N only). These identities are obtained by exacting the similarity transformation that relates the spectral and the (interpolatory) pseudospectral matrix representations of linear differential operators, while using the zeros of the polynomial p_N as the interpolation nodes. The proposed framework generalizes known properties of classical orthogonal polynomials to the case of nonclassical polynomial families of Krall type. We illustrate the general result by proving new remarkable identities satisfied by the Krall-Legendre, the Krall-Laguerre and the Krall-Jacobi orthogonal polynomials.
△ Less
Submitted 19 January, 2017; v1 submitted 12 August, 2016;
originally announced August 2016.
-
Generations of solvable discrete-time dynamical systems
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
A technique is introduced which allows to generate -- starting from any solvable discrete-time dynamical system involving N time-dependent variables -- new, generally nonlinear, generations of discrete-time dynamical systems, also involving N time-dependent variables and being as well solvable by algebraic operations (essentially by finding the N zeros of explicitly known polynomials of degree N).…
▽ More
A technique is introduced which allows to generate -- starting from any solvable discrete-time dynamical system involving N time-dependent variables -- new, generally nonlinear, generations of discrete-time dynamical systems, also involving N time-dependent variables and being as well solvable by algebraic operations (essentially by finding the N zeros of explicitly known polynomials of degree N). The dynamical systems constructed using this technique may also feature large numbers of arbitrary constants, and they need not be autonomous. The solvable character of these models allows to identify special cases with remarkable time evolutions: for instance, isochronous or asymptotically isochronous discrete-time dynamical systems. The technique is illustrated by a few examples.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Novel solvable many-body problems
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
Novel classes of dynamical systems are introduced, including many-body problems characterized by nonlinear equations of motion of Newtonian type ("acceleration equals forces") which determine the motion of points in the complex plane. These models are solvable, namely their configuration at any time can be obtained from the initial data by algebraic operations, amounting to the determination of th…
▽ More
Novel classes of dynamical systems are introduced, including many-body problems characterized by nonlinear equations of motion of Newtonian type ("acceleration equals forces") which determine the motion of points in the complex plane. These models are solvable, namely their configuration at any time can be obtained from the initial data by algebraic operations, amounting to the determination of the zeros of a known time-dependent polynomial in the independent variable z. Some of these models are multiply periodic, isochronous or asymptotically isochronous; others display scattering phenomena.
△ Less
Submitted 18 January, 2016;
originally announced January 2016.
-
Generations of monic polynomials such that the coefficients of the polynomials of the next generation coincide with the zeros of the polynomials of the current generation, and new solvable many-body problems
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
The notion of generations of monic polynomials such that the coefficients of the polynomials of the next generation coincide with the zeros of the polynomials of the current generation is introduced, and its relevance to the identification of endless sequences of new solvable many-body problems of "goldfish type" is demonstrated.
The notion of generations of monic polynomials such that the coefficients of the polynomials of the next generation coincide with the zeros of the polynomials of the current generation is introduced, and its relevance to the identification of endless sequences of new solvable many-body problems of "goldfish type" is demonstrated.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Properties of the zeros of generalized hypergeometric polynomials
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
We define the generalized hypergeometric polynomial of degree N in terms of the generalized hypergeometric function that depends on p parameters a_1, ..., a_p and q parameters b_1, ..., b_q. The parameters are "generic", possibly complex, numbers. In this paper we obtain a set of N nonlinear algebraic equations satisfied by the N zeros z_n of this polynomial. We moreover manufacture an NxN matrix…
▽ More
We define the generalized hypergeometric polynomial of degree N in terms of the generalized hypergeometric function that depends on p parameters a_1, ..., a_p and q parameters b_1, ..., b_q. The parameters are "generic", possibly complex, numbers. In this paper we obtain a set of N nonlinear algebraic equations satisfied by the N zeros z_n of this polynomial. We moreover manufacture an NxN matrix L in terms of the 1+p+q parameters N, a_j, b_k characterizing this polynomial, and of its N zeros z_n. We show that the matrix L features N eigenvalues that depend only on the q parameters b_k, implying that this matrix is isospectral for the variations of the p parameters a_j. These eigenvalues are integer (or rational) numbers if the q parameters b_k are themselves integer (or rational) numbers: a nontrivial diophantine property.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Properties of the zeros of generalized basic hypergeometric polynomials
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
We define the generalized basic hypergeometric polynomial of degree $N \geq 1$ in terms of the generalized basic hypergeometric function, which depends on (arbitrary, generic, possibly complex) parameters $q \neq 1$, the $r \geq 0$ parameters $α_{j}$ and the $s \geq 0$ parameters $β_{k}$. In this paper we obtain a set of $N$ nonlinear algebraic equations satisfied by the $N$ zeros…
▽ More
We define the generalized basic hypergeometric polynomial of degree $N \geq 1$ in terms of the generalized basic hypergeometric function, which depends on (arbitrary, generic, possibly complex) parameters $q \neq 1$, the $r \geq 0$ parameters $α_{j}$ and the $s \geq 0$ parameters $β_{k}$. In this paper we obtain a set of $N$ nonlinear algebraic equations satisfied by the $N$ zeros $ζ_{n}\equiv ζ_{n}\left( \underline{α},\underline{β};q;N\right) $ of this polynomial. We moreover identify an $\left( N\times N\right) $-matrix $\underline{M}\equiv \underline{M}\left( \underline{α},\underline{β};\underline{ζ};q;N\right) $ featuring the $N$ eigenvalues $μ_{n}=-q^{\left( s-r\right) \left( N-n\right) }\left(q^{-n}-1\right) ~\prod\limits_{j=1}^{r}\left( α_{j}~q^{N-n}-1\right)$, where $n=1,2,...,N.$ These $N$ eigenvalues depend only on the $r$ parameters $α_{j}$ (besides $q$ and $N$), implying that the $\left( N\times N\right) $-matrix $\underline{M}$ is isospectral for variations of the $s$ parameters $β_{k}$; and they clearly are rational numbers if $q$ and the $r$ parameters $α_{j}$ are themselves rational numbers: a nontrivial Diophantine property.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
Properties of the zeros of the polynomials belonging to the q-Askey scheme
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
In this paper we provide properties -- which are, to the best of our knowledge, new -- of the zeros of the polynomials belonging to the q-Askey scheme. These findings include Diophantine relations satisfied by these zeros when the parameters characterizing these polynomials are appropriately restricted.
In this paper we provide properties -- which are, to the best of our knowledge, new -- of the zeros of the polynomials belonging to the q-Askey scheme. These findings include Diophantine relations satisfied by these zeros when the parameters characterizing these polynomials are appropriately restricted.
△ Less
Submitted 16 October, 2014; v1 submitted 2 October, 2014;
originally announced October 2014.
-
Properties of the zeros of the polynomials belonging to the Askey scheme
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
In this paper we provide properties---which are, to the best of our knowledge, new---of the zeros of the polynomials belonging to the Askey scheme. These findings include Diophantine relations satisfied by these zeros when the parameters characterizing these polynomials are appropriately restricted.
In this paper we provide properties---which are, to the best of our knowledge, new---of the zeros of the polynomials belonging to the Askey scheme. These findings include Diophantine relations satisfied by these zeros when the parameters characterizing these polynomials are appropriately restricted.
△ Less
Submitted 12 July, 2014;
originally announced July 2014.
-
Solvable Many-Body Models of Goldfish Type with One-, Two- and Three-Body Forces
Authors:
Oksana Bihun,
Francesco Calogero
Abstract:
The class of solvable many-body problems "of goldfish type" is extended by including (the additional presence of) three-body forces. The solvable $N$-body problems thereby identified are characterized by Newtonian equations of motion featuring 19 arbitrary "coupling constants". Restrictions on these constants are identified which cause these systems - or appropriate variants of them - to be isochr…
▽ More
The class of solvable many-body problems "of goldfish type" is extended by including (the additional presence of) three-body forces. The solvable $N$-body problems thereby identified are characterized by Newtonian equations of motion featuring 19 arbitrary "coupling constants". Restrictions on these constants are identified which cause these systems - or appropriate variants of them - to be isochronous or asymptotically isochronous, i.e. all their solutions to be periodic with a fixed period (independent of the initial data) or to have this property up to contributions vanishing exponentially as $t\rightarrow\infty$.
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
Discrete approximations of differential equations via trigonometric interpolation
Authors:
Oksana Bihun,
Austin Bren,
Michael Dyrud,
Kristin Heysse
Abstract:
To approximate solutions of a linear differential equation, we project, via trigonometric interpolation, its solution space onto a finite-dimensional space of trigonometric polynomials and construct a matrix representation of the differential operator associated with the equation. We compute the ranks of the matrix representations of a certain class of linear differential operators. Our numerical…
▽ More
To approximate solutions of a linear differential equation, we project, via trigonometric interpolation, its solution space onto a finite-dimensional space of trigonometric polynomials and construct a matrix representation of the differential operator associated with the equation. We compute the ranks of the matrix representations of a certain class of linear differential operators. Our numerical tests show high accuracy and fast convergence of the method applied to several boundary and eigenvalue problems.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
Rank of Projection-Algebraic Representations of Some Differential Operators
Authors:
Oksana Bihun,
Mykola Prytula
Abstract:
The Lie-algebraic method approximates differential operators that are formal polynomials of {1,x,d/dx} by linear operators acting on a finite dimensional space of polynomials. In this paper we prove that the rank of the n-dimensional representation of the operator K=a_k d^k/dx^k+a_{k+1} d^{k+1}/dx^{k+1}+... +a_{k+p} d^{k+p}/dx^{k+p} is n-k and conclude that the Lie-algebraic reductions of differen…
▽ More
The Lie-algebraic method approximates differential operators that are formal polynomials of {1,x,d/dx} by linear operators acting on a finite dimensional space of polynomials. In this paper we prove that the rank of the n-dimensional representation of the operator K=a_k d^k/dx^k+a_{k+1} d^{k+1}/dx^{k+1}+... +a_{k+p} d^{k+p}/dx^{k+p} is n-k and conclude that the Lie-algebraic reductions of differential equations allow to approximate only some of solutions of the differential equation K[u]=f. We show how to circumvent this obstacle when solving boundary value problems by making an appropriate change of variables. We generalize our results to the case of several dimensions and illustrate them with numerical tests.
△ Less
Submitted 16 November, 2010;
originally announced November 2010.
-
Minimal Distortion Morphs Generated by Time-Dependent Vector Fields
Authors:
Oksana Bihun,
Carmen Chicone,
Steven G. Harris
Abstract:
A morph between two Riemannian $n$-manifolds is an isotopy between them together with the set of all intermediate manifolds equipped with Riemannian metrics. We propose measures of the distortion produced by some classes of morphs and diffeomorphisms between two isotopic Riemannian $n$-manifolds and, with respect to these classes, prove the existence of minimal distortion morphs and diffeomorphi…
▽ More
A morph between two Riemannian $n$-manifolds is an isotopy between them together with the set of all intermediate manifolds equipped with Riemannian metrics. We propose measures of the distortion produced by some classes of morphs and diffeomorphisms between two isotopic Riemannian $n$-manifolds and, with respect to these classes, prove the existence of minimal distortion morphs and diffeomorphisms. In particular, we consider the class of time-dependent vector fields (on an open subset $Ω$ of $ \R^{n+1}$ in which the manifolds are embedded) that generate morphs between two manifolds $M$ and $N$ via an evolution equation, define the bending and the morphing distortion energies for these morphs, and prove the existence of minimizers of the corresponding functionals in the set of time-dependent vector fields that generate morphs between $M$ and $N$ and are $L^2$ functions from $[0,1]$ to the Sobolev space $W^{k,2}_0(Ω,\R^{n+1})$.
△ Less
Submitted 23 October, 2008;
originally announced October 2008.
-
Minimal Distortion Bending and Morphing of Compact Manifolds
Authors:
Oksana Bihun,
Carmen Chicone
Abstract:
Let $M$ and $N$ be compact smooth oriented Riemannian $n$-manifolds without boundary embedded in $\mathbb{R}^{n+1}$. Several problems about minimal distortion bending and morphing of $M$ to $N$ are posed. Cost functionals that measure distortion due to stretching or bending produced by a diffeomorphism $h:M \to N$ are defined, and new results on the existence of minima of these cost functionals…
▽ More
Let $M$ and $N$ be compact smooth oriented Riemannian $n$-manifolds without boundary embedded in $\mathbb{R}^{n+1}$. Several problems about minimal distortion bending and morphing of $M$ to $N$ are posed. Cost functionals that measure distortion due to stretching or bending produced by a diffeomorphism $h:M \to N$ are defined, and new results on the existence of minima of these cost functionals are presented. In addition, the definition of a morph between two manifolds $M$ and $N$ is given, and the theory of minimal distortion morphing of compact manifolds is reviewed.
△ Less
Submitted 30 August, 2007;
originally announced August 2007.
-
Deformation Minimal Bending of Compact Manifolds: Case of Simple Closed Curves
Authors:
Oksana Bihun,
Carmen Chicone
Abstract:
The problem of minimal distortion bending of smooth compact embedded connected Riemannian $n$-manifolds $M$ and $N$ without boundary is made precise by defining a deformation energy functional $Φ$ on the set of diffeomorphisms $\diff(M,N)$. We derive the Euler-Lagrange equation for $Φ$ and determine smooth minimizers of $Φ$ in case $M$ and $N$ are simple closed curves.
The problem of minimal distortion bending of smooth compact embedded connected Riemannian $n$-manifolds $M$ and $N$ without boundary is made precise by defining a deformation energy functional $Φ$ on the set of diffeomorphisms $\diff(M,N)$. We derive the Euler-Lagrange equation for $Φ$ and determine smooth minimizers of $Φ$ in case $M$ and $N$ are simple closed curves.
△ Less
Submitted 23 January, 2008; v1 submitted 30 January, 2007;
originally announced January 2007.
-
Distortion Minimal Morphing I: The Theory For Stretching
Authors:
Oksana Bihun,
Carmen Chicone
Abstract:
We consider the problem of distortion minimal morphing of $n$-dimensional compact connected oriented smooth manifolds without boundary embedded in $\R^{n+1}$. Distortion involves bending and stretching. In this paper, minimal distortion (with respect to stretching) is defined as the infinitesimal relative change in volume. The existence of minimal distortion diffeomorphisms between diffeomorphic…
▽ More
We consider the problem of distortion minimal morphing of $n$-dimensional compact connected oriented smooth manifolds without boundary embedded in $\R^{n+1}$. Distortion involves bending and stretching. In this paper, minimal distortion (with respect to stretching) is defined as the infinitesimal relative change in volume. The existence of minimal distortion diffeomorphisms between diffeomorphic manifolds is proved. A definition of minimal distortion morphing between two isotopic manifolds is given, and the existence of minimal distortion morphs between every pair of isotopic embedded manifolds is proved.
△ Less
Submitted 23 August, 2007; v1 submitted 25 May, 2006;
originally announced May 2006.
