American Institute of Mathematical Sciences

Advanced
  • Previous Article
    A second order accuracy in time, Fourier pseudo-spectral numerical scheme for "Good" Boussinesq equation
  • DCDS-B Home
  • This Issue
  • Next Article
    Local and global well-posedness in the energy space for the dissipative Zakharov-Kuznetsov equation in 3D
September  2020, 25(9): 3725-3747. doi: 10.3934/dcdsb.2020088

Local orthogonal rectification: Deriving natural coordinates to study flows relative to manifolds

Benjamin Letson and  Jonathan E. Rubin ,

Department of Mathematics, University of Pittsburgh, 301 Thackeray Hall, Pittsburgh, PA 15260, USA

* Corresponding author: Jonathan E. Rubin

Received  April 2019 Revised  December 2019 Published  September 2020 Early access  April 2020

Fund Project: The authors received partial support from NSF award DMS 1612913.

We recently derived a method, local orthogonal rectification (LOR), that provides a natural and useful geometric frame for analyzing dynamics relative to a base curve in the phase plane for two-dimensional systems of ODEs (Letson and Rubin, SIAM J. Appl. Dyn. Syst., 2018). This work extends LOR to apply to any embedded base manifold in a system of ODEs of arbitrary dimension and establishes a corresponding system of LOR equations for analyzing dynamics within the LOR frame, which maps naturally back to the original phase space. The LOR equations encode geometric properties of the underlying flow and remain valid, in general, beyond a local neighborhood of the embedded manifold. In addition to developing a general theory for LOR that makes use of a given normal frame, we show how to construct a normal frame that conveniently simplifies the computations involved in LOR. Finally, we illustrate the utility of LOR by showing that a blow-up transformation on the LOR equations provides a useful decomposition for studying trajectories' behavior relative to the embedded base manifold and by using LOR to identify canard behavior near a fold of a critical manifold in a two-timescale system.

Keywords: Flow, geometric analysis, manifold, normal frame, local orthogonal rectification, canards.
Mathematics Subject Classification: Primary: 34A26, 34C20, 37C10; Secondary: 34A34, 34E17.
Citation: Benjamin Letson, Jonathan E. Rubin. Local orthogonal rectification: Deriving natural coordinates to study flows relative to manifolds. Discrete and Continuous Dynamical Systems - B, 2020, 25 (9) : 3725-3747. doi: 10.3934/dcdsb.2020088
References:
[1]

E. Benoît, M. Brøns, M. Desroches and M. Krupa, Extending the zero-derivative principle for slow-fast dynamical systems, Z. Angew. Math. Phys., 66 (2015), 2255-2270.  doi: 10.1007/s00033-015-0552-8.

[2]

O. Castejón, A. Guillamon and G. Huguet, Phase-amplitude response functions for transient-state stimuli, J. Math. Neurosci., 3 (2013), Art. 13, 26 pp. doi: 10.1186/2190-8567-3-13.

[3]

N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, J. Differential Equations, 31 (1979), 53-98.  doi: 10.1016/0022-0396(79)90152-9.

[4]

E. Friere, A. Gasull and A. Guillamon, Limit cycles and Lie symmetries, Bull. Sci. Math, 131 (2007), 501-517.  doi: 10.1016/j.bulsci.2006.03.015.

[5]

R. A. Garcia, A. Gasull and A. Guillamon, Geometric conditions for the stability of orbits in planar systems, Math. Proc. Cambridge. Phil. Soc., 120 (1996), 499-519.  doi: 10.1017/S0305004100075046.

[6]

M. Krupa and M. Wechselberger, Local analysis near a folded saddle-node singularity, J. Differential Equations, 248 (2010), 2841-2888.  doi: 10.1016/j.jde.2010.02.006.

[7]

W. Kühnel, Differential Geometry: Curves, Surfaces, Manifolds, 2$^nd$ edition, Student Mathematical Library: Vol. 16, American Mathematical Society, 2005.

[8]

S. H. Lam and D. A. Goussis, Understanding complex chemical kinetics with computational singular perturbation, Symposium (International) on Combustion, 22 (1989), 931-941.  doi: 10.1016/S0082-0784(89)80102-X.

[9]

B. Letson and J. Rubin, A new frame for an old (phase) portrait: Finding rivers and other flow features in the plane, SIAM J. Appl. Dyn. Syst., 17 (2018), 2414-2445.  doi: 10.1137/18M1186617.

[10]

A. Mauroy, I. Mezi\'c and J. Moehlis, Isostables isoschrons, and Koopman spectrum for the action-angle representation of stable fixed point dynamics, Phys. D, 261 (2013), 19-30.  doi: 10.1016/j.physd.2013.06.004.

[11]

S. Revzen and J. M. Guckenheimer, Estimating the phase of synchronized oscillators, Phys. Rev. E, 78 (2008), 051907, 12pp. doi: 10.1103/PhysRevE.78.051907.

[12]

S. Shirasaka, W. Kurebayashi and H. Nakao, Phase-amplitude reduction of transient dynamics far from attractors for limit-cycling systems, Chaos, 27 (2017), 023119, 7pp. doi: 10.1063/1.4977195.

[13]

P. Szmolyan and M. Wechselberger, Canards in $\mathbb{R}^3$, J. Differential Equations, 177 (2001), 419-453.  doi: 10.1006/jdeq.2001.4001.

[14]

T. Vo and M. Wechselberger, Canards of folded saddle-node type {I}, SIAM J. Math. Anal., 47 (2015), 3235-3283.  doi: 10.1137/140965818.

[15]

K. C. A. Wedgwood, K. K. Lin, R. Thul and S. Coombes, Phase-amplitude descriptions of neural oscillator models, J. Math. Neurosci., 3 (2013), Art. 2, 22 pp. doi: 10.1186/2190-8567-3-2.

[16]

D. Wilson and J. Moehlis, Isostable reduction of periodic orbits, Phys. Rev. E, 94 (2016), 052213. doi: 10.1103/PhysRevE.94.052213.

[17]

D. Wilson and B. Ermentrout, Greater accuracy and broadened applicability of phase reduction using isostable coordinates, J. Math. Biol., 76 (2018), 37-66.  doi: 10.1007/s00285-017-1141-6.

[18]

A. Zagaris, C. Vandekerckhove, W. C. Gear, T. J. Kaper, I. G. Kevrekidis and G. Ioannis, Stability and stabilization of the contrained runs schemes for equation-free projection to a slow manifold, Discrete Contin. Dyn. Syst., 32 (2012), 2759-2803.  doi: 10.3934/dcds.2012.32.2759.

show all references

References:
[1]

E. Benoît, M. Brøns, M. Desroches and M. Krupa, Extending the zero-derivative principle for slow-fast dynamical systems, Z. Angew. Math. Phys., 66 (2015), 2255-2270.  doi: 10.1007/s00033-015-0552-8.

[2]

O. Castejón, A. Guillamon and G. Huguet, Phase-amplitude response functions for transient-state stimuli, J. Math. Neurosci., 3 (2013), Art. 13, 26 pp. doi: 10.1186/2190-8567-3-13.

[3]

N. Fenichel, Geometric singular perturbation theory for ordinary differential equations, J. Differential Equations, 31 (1979), 53-98.  doi: 10.1016/0022-0396(79)90152-9.

[4]

E. Friere, A. Gasull and A. Guillamon, Limit cycles and Lie symmetries, Bull. Sci. Math, 131 (2007), 501-517.  doi: 10.1016/j.bulsci.2006.03.015.

[5]

R. A. Garcia, A. Gasull and A. Guillamon, Geometric conditions for the stability of orbits in planar systems, Math. Proc. Cambridge. Phil. Soc., 120 (1996), 499-519.  doi: 10.1017/S0305004100075046.

[6]

M. Krupa and M. Wechselberger, Local analysis near a folded saddle-node singularity, J. Differential Equations, 248 (2010), 2841-2888.  doi: 10.1016/j.jde.2010.02.006.

[7]

W. Kühnel, Differential Geometry: Curves, Surfaces, Manifolds, 2$^nd$ edition, Student Mathematical Library: Vol. 16, American Mathematical Society, 2005.

[8]

S. H. Lam and D. A. Goussis, Understanding complex chemical kinetics with computational singular perturbation, Symposium (International) on Combustion, 22 (1989), 931-941.  doi: 10.1016/S0082-0784(89)80102-X.

[9]

B. Letson and J. Rubin, A new frame for an old (phase) portrait: Finding rivers and other flow features in the plane, SIAM J. Appl. Dyn. Syst., 17 (2018), 2414-2445.  doi: 10.1137/18M1186617.

[10]

A. Mauroy, I. Mezi\'c and J. Moehlis, Isostables isoschrons, and Koopman spectrum for the action-angle representation of stable fixed point dynamics, Phys. D, 261 (2013), 19-30.  doi: 10.1016/j.physd.2013.06.004.

[11]

S. Revzen and J. M. Guckenheimer, Estimating the phase of synchronized oscillators, Phys. Rev. E, 78 (2008), 051907, 12pp. doi: 10.1103/PhysRevE.78.051907.

[12]

S. Shirasaka, W. Kurebayashi and H. Nakao, Phase-amplitude reduction of transient dynamics far from attractors for limit-cycling systems, Chaos, 27 (2017), 023119, 7pp. doi: 10.1063/1.4977195.

[13]

P. Szmolyan and M. Wechselberger, Canards in $\mathbb{R}^3$, J. Differential Equations, 177 (2001), 419-453.  doi: 10.1006/jdeq.2001.4001.

[14]

T. Vo and M. Wechselberger, Canards of folded saddle-node type {I}, SIAM J. Math. Anal., 47 (2015), 3235-3283.  doi: 10.1137/140965818.

[15]

K. C. A. Wedgwood, K. K. Lin, R. Thul and S. Coombes, Phase-amplitude descriptions of neural oscillator models, J. Math. Neurosci., 3 (2013), Art. 2, 22 pp. doi: 10.1186/2190-8567-3-2.

[16]

D. Wilson and J. Moehlis, Isostable reduction of periodic orbits, Phys. Rev. E, 94 (2016), 052213. doi: 10.1103/PhysRevE.94.052213.

[17]

D. Wilson and B. Ermentrout, Greater accuracy and broadened applicability of phase reduction using isostable coordinates, J. Math. Biol., 76 (2018), 37-66.  doi: 10.1007/s00285-017-1141-6.

[18]

A. Zagaris, C. Vandekerckhove, W. C. Gear, T. J. Kaper, I. G. Kevrekidis and G. Ioannis, Stability and stabilization of the contrained runs schemes for equation-free projection to a slow manifold, Discrete Contin. Dyn. Syst., 32 (2012), 2759-2803.  doi: 10.3934/dcds.2012.32.2759.

Figure 1.  The geometric setup for Local Orthogonal Rectification. We consider an inital condition $ x_0 $ near a given manifold, and decompose the trajectory through $ x_0 $, denoted by $ \phi $, into a curve on the manifold and a curve in the normal bundle to the manifold
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 2.  The dynamics near the critical manifold for $ \mu=3 $. (Left) The trapping region detailed in Prop. 3, between $\left\{ \xi =0 \right\}$ and the correction $ \Xi $. Note how trajectories with $ \eta(t)\in\mathcal{F} $ cannot escape, as they are bounded above by $ \Xi $. (Right) The full trapping region, where the $ \mathcal{O}( \varepsilon^2) $ term of (39) is negative. Note the twisting of orbits as they escape from the influence of the correction
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 3.  (Left) The dynamics on $\left\{ \hat{\xi }=0 \right\}$ of system (40) for $ \mu=3 $. Note how the approximate trajectories organize around the orange curve, called $ \gamma $ in the text. (Right) A plot of the rivers of (35), three of which cross the fold of the critical manifold. The orange curve, $ \gamma(z) $, is indistinguishable from the identified approximate canard solution $ \Psi_2(\gamma(t),0) $
Figure Options

Download full-size image

Download as PowerPoint slide

[1]

Wenqing Hu, Chris Junchi Li. A convergence analysis of the perturbed compositional gradient flow: Averaging principle and normal deviations. Discrete and Continuous Dynamical Systems, 2018, 38 (10) : 4951-4977. doi: 10.3934/dcds.2018216
[2]

Qiao-Fang Lian, Yun-Zhang Li. Reducing subspace frame multiresolution analysis and frame wavelets. Communications on Pure and Applied Analysis, 2007, 6 (3) : 741-756. doi: 10.3934/cpaa.2007.6.741
[3]

T. L. Alderson, K. E. Mellinger. Geometric constructions of optimal optical orthogonal codes. Advances in Mathematics of Communications, 2008, 2 (4) : 451-467. doi: 10.3934/amc.2008.2.451
[4]

Franz W. Kamber and Peter W. Michor. The flow completion of a manifold with vector field. Electronic Research Announcements, 2000, 6: 95-97.

[5]

Palle E. T. Jorgensen and Steen Pedersen. Orthogonal harmonic analysis of fractal measures. Electronic Research Announcements, 1998, 4: 35-42.

[6]

Bertold Bongardt. Geometric characterization of the workspace of non-orthogonal rotation axes. Journal of Geometric Mechanics, 2014, 6 (2) : 141-166. doi: 10.3934/jgm.2014.6.141
[7]

Aurore Back, Emmanuel Frénod. Geometric two-scale convergence on manifold and applications to the Vlasov equation. Discrete and Continuous Dynamical Systems - S, 2015, 8 (1) : 223-241. doi: 10.3934/dcdss.2015.8.223
[8]

Nicolai Sætran, Antonella Zanna. Chains of rigid bodies and their numerical simulation by local frame methods. Journal of Computational Dynamics, 2019, 6 (2) : 409-427. doi: 10.3934/jcd.2019021
[9]

Tyrus Berry, Timothy Sauer. Consistent manifold representation for topological data analysis. Foundations of Data Science, 2019, 1 (1) : 1-38. doi: 10.3934/fods.2019001
[10]

Tibor Krisztin. A local unstable manifold for differential equations with state-dependent delay. Discrete and Continuous Dynamical Systems, 2003, 9 (4) : 993-1028. doi: 10.3934/dcds.2003.9.993
[11]

Vincent Naudot, Jiazhong Yang. Finite smooth normal forms and integrability of local families of vector fields. Discrete and Continuous Dynamical Systems - S, 2010, 3 (4) : 667-682. doi: 10.3934/dcdss.2010.3.667
[12]

David Constantine. 2-Frame flow dynamics and hyperbolic rank-rigidity in nonpositive curvature. Journal of Modern Dynamics, 2008, 2 (4) : 719-740. doi: 10.3934/jmd.2008.2.719
[13]

Monique Chyba, Thomas Haberkorn, Ryan N. Smith, George Wilkens. A geometric analysis of trajectory design for underwater vehicles. Discrete and Continuous Dynamical Systems - B, 2009, 11 (2) : 233-262. doi: 10.3934/dcdsb.2009.11.233
[14]

Ilona Gucwa, Peter Szmolyan. Geometric singular perturbation analysis of an autocatalator model. Discrete and Continuous Dynamical Systems - S, 2009, 2 (4) : 783-806. doi: 10.3934/dcdss.2009.2.783
[15]

Jae-Hong Pyo, Jie Shen. Normal mode analysis of second-order projection methods for incompressible flows. Discrete and Continuous Dynamical Systems - B, 2005, 5 (3) : 817-840. doi: 10.3934/dcdsb.2005.5.817
[16]

Alberto Zingaro, Ivan Fumagalli, Luca Dede, Marco Fedele, Pasquale C. Africa, Antonio F. Corno, Alfio Quarteroni. A geometric multiscale model for the numerical simulation of blood flow in the human left heart. Discrete and Continuous Dynamical Systems - S, 2022, 15 (8) : 2391-2427. doi: 10.3934/dcdss.2022052
[17]

Xianjin Chen, Jianxin Zhou. A local min-orthogonal method for multiple solutions of strongly coupled elliptic systems. Conference Publications, 2009, 2009 (Special) : 151-160. doi: 10.3934/proc.2009.2009.151
[18]

Alireza Bahiraie, A.K.M. Azhar, Noor Akma Ibrahim. A new dynamic geometric approach for empirical analysis of financial ratios and bankruptcy. Journal of Industrial and Management Optimization, 2011, 7 (4) : 947-965. doi: 10.3934/jimo.2011.7.947
[19]

Feifei Cheng, Ji Li. Geometric singular perturbation analysis of Degasperis-Procesi equation with distributed delay. Discrete and Continuous Dynamical Systems, 2021, 41 (2) : 967-985. doi: 10.3934/dcds.2020305
[20]

Peter Frolkovič, Viera Kleinová. A new numerical method for level set motion in normal direction used in optical flow estimation. Discrete and Continuous Dynamical Systems - S, 2021, 14 (3) : 851-863. doi: 10.3934/dcdss.2020347

2021 Impact Factor: 1.497

Tools

Metrics

  • PDF downloads (302)
  • HTML views (611)
  • Cited by (0)

Other articles
by authors

[Back to Top]

Copyright © 2022 American Institute of Mathematical Sciences | Privacy Policy