arxiv: v1 [math.na] 13 Sep 2014

Similar documents
Proper Orthogonal Decomposition (POD) for Nonlinear Dynamical Systems. Stefan Volkwein

Proper Orthogonal Decomposition. POD for PDE Constrained Optimization. Stefan Volkwein

POD for Parametric PDEs and for Optimality Systems

Proper Orthogonal Decomposition in PDE-Constrained Optimization

An optimal control problem for a parabolic PDE with control constraints

Numerical approximation for optimal control problems via MPC and HJB. Giulia Fabrini

Basic Calculus Review

INTERPRETATION OF PROPER ORTHOGONAL DECOMPOSITION AS SINGULAR VALUE DECOMPOSITION AND HJB-BASED FEEDBACK DESIGN PAPER MSC-506

Applied Linear Algebra in Geoscience Using MATLAB

Symplectic integration with Runge-Kutta methods, AARMS summer school 2015

Finite Differences for Differential Equations 28 PART II. Finite Difference Methods for Differential Equations

Lecture 2: Linear Algebra Review

Parameterized Partial Differential Equations and the Proper Orthogonal D

Math 102, Winter Final Exam Review. Chapter 1. Matrices and Gaussian Elimination

Applications of Randomized Methods for Decomposing and Simulating from Large Covariance Matrices

Proper Orthogonal Decomposition for Optimal Control Problems with Mixed Control-State Constraints

arxiv: v1 [math.na] 16 Feb 2016

Proper Orthogonal Decomposition (POD)

Preliminary Examination, Numerical Analysis, August 2016

Backward error analysis

Eileen Kammann Fredi Tröltzsch Stefan Volkwein

Proper Orthogonal Decomposition Surrogate Models for Nonlinear Dynamical Systems: Error Estimates and Suboptimal Control

Characterization of half-radial matrices

Periodic oscillations in the Gross-Pitaevskii equation with a parabolic potential

Tong Sun Department of Mathematics and Statistics Bowling Green State University, Bowling Green, OH

Linear Algebra. Session 12

ENERGY PRESERVING INTEGRATION OF BI-HAMILTONIAN PARTIAL DIFFERENTIAL EQUATIONS

(f(x) P 3 (x)) dx. (a) The Lagrange formula for the error is given by

Linear Algebra Massoud Malek

ANSWERS (5 points) Let A be a 2 2 matrix such that A =. Compute A. 2

2. Review of Linear Algebra

Fall TMA4145 Linear Methods. Exercise set Given the matrix 1 2

Index. for generalized eigenvalue problem, butterfly form, 211

Functional Analysis Review

The HJB-POD approach for infinite dimensional control problems

Preliminary Examination in Numerical Analysis

An Empirical Chaos Expansion Method for Uncertainty Quantification

Elementary linear algebra

Kernel Method: Data Analysis with Positive Definite Kernels

Numerical Analysis of Differential Equations Numerical Solution of Parabolic Equations

Priority Programme The Combination of POD Model Reduction with Adaptive Finite Element Methods in the Context of Phase Field Models

COMP 558 lecture 18 Nov. 15, 2010

Normalized power iterations for the computation of SVD

Index. higher order methods, 52 nonlinear, 36 with variable coefficients, 34 Burgers equation, 234 BVP, see boundary value problems

Separation of Variables in Linear PDE: One-Dimensional Problems

2. Examples of Integrable Equations

Least Squares. Tom Lyche. October 26, Centre of Mathematics for Applications, Department of Informatics, University of Oslo

Quasi-Particle Dynamics of Linearly Coupled Systems of Nonlinear Schrödinger Equations

Minimal periods of semilinear evolution equations with Lipschitz nonlinearity

Diagonalization of the Coupled-Mode System.

Chap 3. Linear Algebra

Modified Equations for Variational Integrators

Applied Linear Algebra in Geoscience Using MATLAB

POD-DEIM APPROACH ON DIMENSION REDUCTION OF A MULTI-SPECIES HOST-PARASITOID SYSTEM

be a Householder matrix. Then prove the followings H = I 2 uut Hu = (I 2 uu u T u )u = u 2 uut u

Semi-Classical Dynamics Using Hagedorn Wavepackets

A Time Splitting for the Semiclassical Schrödinger Equation

Assignment #10: Diagonalization of Symmetric Matrices, Quadratic Forms, Optimization, Singular Value Decomposition. Name:

Time-dependent variational forms

Exercise Sheet 1.

x n+1 = x n f(x n) f (x n ), n 0.

1 Singular Value Decomposition and Principal Component

1. Diagonalize the matrix A if possible, that is, find an invertible matrix P and a diagonal

From the N-body problem to the cubic NLS equation

1 Mathematical preliminaries

Empirical Gramians and Balanced Truncation for Model Reduction of Nonlinear Systems

Long-term behavior of the numerical solution of the cubic non-linear Scrödinger equation using Strang splitting method

Numerical Analysis Preliminary Exam 10 am to 1 pm, August 20, 2018

Model Order Reduction Techniques

PART IV Spectral Methods

A Vector-Space Approach for Stochastic Finite Element Analysis

Normal form for the non linear Schrödinger equation

Numerical Mathematics

ELLIPTIC RECONSTRUCTION AND A POSTERIORI ERROR ESTIMATES FOR PARABOLIC PROBLEMS

10 The Finite Element Method for a Parabolic Problem

Research Article A Two-Grid Method for Finite Element Solutions of Nonlinear Parabolic Equations

Math 24 Spring 2012 Sample Homework Solutions Week 8

Numerical Analysis Comprehensive Exam Questions

Solution of Linear Equations

WEAK GALERKIN FINITE ELEMENT METHOD FOR SECOND ORDER PARABOLIC EQUATIONS

Semi-implicit Krylov Deferred Correction Methods for Ordinary Differential Equations

M.A. Botchev. September 5, 2014

I. Multiple Choice Questions (Answer any eight)

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7

Ordinary Differential Equations II

Energy-preserving Pseudo-spectral Methods for Klein-Gordon-Schrödinger Equations

A Composite Runge Kutta Method for the Spectral Solution of Semilinear PDEs

MATHEMATICAL METHODS INTERPOLATION

1. The Polar Decomposition

Mathematical foundations - linear algebra

Rogue periodic waves for mkdv and NLS equations

Math 593: Problem Set 10

Solving Distributed Optimal Control Problems for the Unsteady Burgers Equation in COMSOL Multiphysics

PLEASE LET ME KNOW IF YOU FIND TYPOS (send to

Lecture 1: Review of linear algebra

Michail D. Todorov. Faculty of Applied Mathematics and Computer Science Technical University of Sofia, Bulgaria

RICE UNIVERSITY. Nonlinear Model Reduction via Discrete Empirical Interpolation by Saifon Chaturantabut

MP463 QUANTUM MECHANICS

1 Math 241A-B Homework Problem List for F2015 and W2016

Mathematical Introduction

Transcription:

Model Order Reduction for Nonlinear Schrödinger Equation B. Karasözen, a,, C. Akkoyunlu b, M. Uzunca c arxiv:49.3995v [math.na] 3 Sep 4 a Department of Mathematics and Institute of Applied Mathematics, Middle East Technical University, 68 Ankara, Turkey b Department of Mathematics and Computer Sciences, Istanbul Kültür University, 3456, Istanbul, Turkey c Department of Mathematics, Middle East Technical University, 68 Ankara, Turkey Abstract e apply the proper orthogonal decomposition POD) to the nonlinear Schrödinger NLS) equation to derive a reduced order model. The NLS equation is discretized in space by finite differences and is solved in time by structure preserving symplectic mid-point rule. A priori error estimates are derived for the POD reduced dynamical system. Numerical results for one and two dimensional NLS equations, coupled NLS equation with soliton solutions show that the low-dimensional approximations obtained by POD reproduce very well the characteristic dynamics of the system, such as preservation of energy and the solutions. Keywords: Nonlinear Schrödinger equation; proper orthogonal decomposition; model order reduction; error analysis. Introduction The nonlinear Schrödinger NLS) equation arises as the model equation with second order dispersion and cubic nonlinearity describing the dynamics of slowly varying wave packets in nonlinear fiber optics, in water waves and in Bose- Einstein condensate theory. e consider the NLS equation iψ t + Ψ xx + γ Ψ Ψ = ) with the periodic boundary conditions Ψx + L, t) = Ψx, t). Here Ψ = Ψx, t) is a complex valued function, γ is a parameter and i =. The NLS equation is called focusing if γ > and defocusing if γ < ; for γ =, it reduces to the linear Schrödinger equation. In last two decades, various numerical methods Corresponding author Email addresses: bulent@metu.edu.tr B. Karasözen,), c.kaya@iku.edu.tr C. Akkoyunlu), uzunca@metu.edu.tr M. Uzunca) Preprint submitted to Elsevier September 6, 4

were applied for solving NLS equation, among them are the well-known symplectic and multisymplectic integrators and discontinuous Galerkin methods. There is a strong need for model order reduction techniques to reduce the computational costs and storage requirements in large scale simulations, yielding low-dimensional approximations for the full high-dimensional dynamical system, which reproduce the characteristic dynamics of the system. Among the model order reduction techniques, the proper orthogonal decomposition POD) is one of the most widely used method. It was first introduced for analyzing cohorent structures and turbulent flow in numerical simulation of fluid dynamics equations [6]. It has been successfully used in different fields including signal processing, fluid dynamics, parameter estimation, control theory and optimal control of partial differential equations. In this paper, we apply the POD to the NLS equation. To the best of our knowledge, there is only one paper where POD is applied to NLS equation [5], where only one and two modes approximations of the NLS equation are used in the Fourier domain in connection with modelocking ultra short laser applications. In this paper, the NLS equation being a semi-linear partial differential equation PDE) is discretized in space and time by preserving the symplectic structure and the energy Hamiltonian). Then, from the snapshots of the fully discretized dynamical system, the POD basis functions are computed using the singular value decomposition SVD). The reduced model consists of Hamiltonian ordinary differential equations ODEs), which indicates that the geometric structure of the original system is preserved for the reduced model. The semi-disretized NLS equations and the reduced equations are solved in time using Strang splitting and mid-point rule. A priori error estimates are derived for POD reduced model, which is solved by midpoint rule. It turns out that most of the energy of the system can be accurately approximated by using few POD modes. Numerical results for a NLS equation with soliton solutions confirm that the energy of the system is well preserved by POD approximation and the solution of the reduced model are close to the solution of the fully discretized system. The paper is organized as follows. In Section, the POD method and its application to semi-linear dynamical systems are reviewed. In Section 3, a priori error estimators are derived for the mid-point time-discretization of semi-linear PDEs. Numerical solution of the semi-discrete NLS equation and the POD reduced form are described in Section 4. In the last section, Section 5, the numerical results for the reduced order models of NLS equations are presented.. The POD approximation for semi-linear PDEs In the following, we briefly describe the important features of the POD reduced order modeling ROM); more details can be found in [8]. In the first step of the POD based model order reduction, the set of snapshots, the discrete solutions of the nonlinear PDE, are collected. The snapshots are usually equally spaced in time corresponding to the solution of PDE obtained by finite difference or finite element method. The snapshots are then used to determine the POD bases which are much smaller than the snapshot set. In the last step, the POD

reduced order model is constructed to obtain approximate solutions of the PDE. e mention that the choice of the snapshots representing the dynamics of the underlying PDE is crucial for the effectiveness of POD based reduced model. Let X be a real Hilbert space endowed with inner product, X and norm X. For y,..., y n X, we set V = span {y,, y n }, as the ensemble consisting of the snapshots {y j } n. In the finite difference context, the snapshots can be viewed as discrete solutions y j R m at time instances t j, j =,..., n, and [y,..., y n ] R m n denotes the snapshot matrix. Let {ψ k } d denote an orthonormal basis of V of dimension d. Then, any y j V can be expressed as y j = d y j, ψ k X ψ k, j =,..., n. ) The POD is constructed by choosing the orthonormal basis such that for every l {,..., d}, the mean square error between the elements y j, j n, and the corresponding l th partial sum of ) is minimized on average: min ũ,...,ũ l X α j y j y j, ũ k X ũ k, ũ i, ũ j X = δ ij, i, j l. 3) where α j s are non-negative weights. Throughout this paper, we take the space X = R m endowed with the weighted inner product u, v = u T v with the diagonal elements of the diagonal matrix, and also α j s are the trapezoidal weights so that we obtain all the computations in L -sense. Under these choices, the solution of the above minimization problem is given by the following theorem: Teorem. [8]. Let Y = [y,..., y n ] R m n be a given matrix with rank d min {m, n}. Further, let Y = UΣV T be the SVD of Y, where U = [u,..., u m ] R m m, V = [v,..., v n ] R n n are orthogonal matrices and the matrix Σ R m n is all zero but first d diagonal elements are the nonzero singular values, σ σ... σ d, of Y. Then, for any l {,..., d}, the solution to min ũ,...,ũ l R m α j y j X y j, ũ k ũ k is given by the singular vectors {u i } l i=., ũ i, ũ j = δ ij, i, j l. e consider the following initial value problem for POD approximation ẏt) = Ayt) + ft, yt)), t [, T ], y) = y, 5) where f : [, T ] R m R m is continuous in both arguments and locally Lipschitz-continuous with respect to the second argument. The semi-discrete 4) 3

form of NLS equation ) is a semi-linear equation as 5) where the cubic nonlinear part is locally Lipschitz continuous. Suppose that we have determined a POD basis {ψ j } l of rank l {,..., d} in Rm, then we make the ansatz y l t) = y l t), ψ j ψ j, t [, T ]. 6) =:yj l t) }{{} Substituting 6) in 5), we obtain the reduced model ẏjt)ψ l j = yjt)aψ l j + ft, y l t)), t [, T ], yj)ψ l j = y. 7) The POD approximation 7) holds after projection on the l dimensional subspace V l = span{ψ,..., ψ l }. From 7) and ψ j, ψ i = δ ij, we get ẏ l it) = yjt) l Aψ j, ψ i + ft, y l t)), ψ i 8) for i l and t, T ]. Let us introduce the matrix B = {b ij } R l l, b ij = Aψ j, ψ i the non-linearity F = F,, F l ) T : [, T ] R l R l by F i t, y) = ft, y j ψ j ), ψ i, t [, T ], y = y,, y l ) R l and the vector y l = y l,..., y l l )T : [, T ] R l. Then, 8) can be expressed as ẏ l t) = By l t) + F t, y l t)), t, T ]. 9) The initial condition of the reduced system is given by y l ) = y with y = y, ψ,..., y, ψ l ) T R l. The system 9) is called the POD-Galerkin projection for 5). The ROM is constructed with POD basis vectors {ψ i } l i= of rank l. In case of l << d, the l dimensional reduced system 9) is a low-dimensional approximation for 5). The POD basis can also be computed using eigenvalues and eigenvectors. e prefer singular value decomposition, because it is more accurate than the computation of the eigenvalues. The singular values decay up to machine precision, where the eigenvalues stagnate several orders above due the fact λ i = σi [3]. e notice that all singular values of the snapshot matrix Y are normalized, so that m i= σ i = holds.. The choice of l is based on heuristic considerations combined with observing the ratio of the modeled energy to the total energy 4

contained in the system Y which is expressed by the relative information content RIC) El) = σi %. i= The total energy of the system is contained in a small number of POD modes. In practice, l is chosen by guaranteeing that El) capturing at least % 99 of total energy of the system. 3. POD error analysis for the mid-point rule A priori error estimates for POD method are obtained for linear and semilinear parabolic equations in [8], where the nonlinear part is assumed to be locally Lipschitz continuous as for the NLS equation. The error estimates derived for the backward Euler and Crank-Nicholson trapezoidal rule) time discretization show that the error bounds depend on the number of POD basis functions. Here, we derive the error estimates for the mid-point rule. e apply the implicit midpoint rule for solving the reduced model 9). By Y j, we denote an approximation for y l at the time t j. Then, the discrete system for the sequence {Y j } n in V n l = span{ψ n,..., ψl n } l d) looks like Yj Y j, ψi n t = AY j + Y j ) + ft, Y j + Y j ), ψi n ) Y, ψ n i = y, ψ n i, i =,..., l ) e are interested in estimating n α j yt j ) Y j. For u Rm, let us introduce the projection P l n : R m V l n by Pnu l = u, ψi n ψi n, i= P l n =. e shall make use of the decomposition yt j ) Y j = yt j ) P l nyt j ) + P l nyt j ) Y j = ϱ l j + ϑ l j where ϱ l j = yt j) P l nyt j ) and ϑ l j = P l nyt j ) Y j. Using that {ψ n i }l i= is the POD basis of rank l, we have the estimate for the terms involving ϱ l j α j yt j ) < yt j ), ψi n > ψi n i= = α ytj j ) Pnyt l j ) = n α j ϱ l j = ) d i=l+ σ i. 5

Next, we estimate the terms involving ϑ l j. Using the notation ϑ l j = ϑl j ϑ l j )/ t, we obtain ) ϑ l j, ψi n = Pn l ytj ) yt j ) Y j Y j, ψi n t t = ẏt j t ) AY j + Y j ) + f Y ) j + Y j ), ψi n ) + Pn l ytj ) yt j ) ẏt j t t ), ψn i = A yt j t ) Y ) j + Y j + fyt j t )) fy j + Y j where z l j = P l n Choosing ψ n i ) ytj ) yt j ) t yt j) yt j ) t = ϑ l j + ϑl j in 3), we arrive at ϑ l j, ϑ l j + ϑ l j = A yt j t ) Y j + Y j, wj l = yt j) yt j ) ẏt j t t )). ) + fyt j t ) + w l j + z l j, ψ n i )) fy j + Y j ) +w l j + z l j, ϑ l j + ϑ l j. 4) 3) Noting that ϑ l j, ϑ l j + ϑ l j = ϑ l j t ϑ l j ) and using Lipschitz-continuity of f and the Cauchy-Schwartz inequality in 4), we get ϑ l j ϑ l j + t A + L f ) yt j t ) Y j + Y j + z l j + ) w l j. 5) By Taylor series expansion yt j t ) = yt j) + yt j ) + t ẏξ j ) ẏξ j )) for some ξ j t j t, t j) and ξ j t j, t j t ). Then, we get yt j t ) Y j + Y j ϱ l j + ϑ l j + ϱ l j + ) ϑ l j + c t 6) with c = ẏξ j ) ẏξ j ). Inserting 6) in 5) and collecting the common terms yields c t) ϑ l j +c t) ϑ l j + t c ϱ l j + ) ϱ l j ) + c t + zj l + wj l 7) 6

with c = max{ A, L f }, c = c c. Moreover, for < t c, we have c t + c t and using the fact that tj T, we get + c t) j e ct, + c t) j e ct. 8) Summation on j in 7) by using 8) and Cauchy-Schwarz inequality yields, ϑ l j C t j ϱ l k + ) ϱ l k + t + zk l + wk l 9) with C = 5e 4cT max{c, c,, j}. Next, we estimate the term involving w l k : t j w l k j = t yt k ) yt k ) t ẏt k t ) T C t 4 y ttt t) dt ) for a constant C depending on y, but independent of n. Now, we estimate the term involving z l k : z l k = P l n ) ytk ) yt k ) t yt k) yt k ) t wk l + 4 Pnẏt l k ) ẏt k ) + 4 ẏt k) yt k) yt k ) t wk l + 4 Pnẏt l k ) ẏt k ) + 4 ẏt k t ) yt k) yt k ) t + C T ay t 4 P l nẏt k ) ẏt k ) + 6 w l k + C T ay t ) where C T ay = ÿξ) for some ξ t k t, t k). For a sufficiently small t satisfying t α k for k n, we have j t α k, t 4 α k, t t Using ) combining with ) and ), we arrive at t α k. ) j z l k + wk l ) n 8 α k Pnẏt l k ) ẏt k ) + Ĉ t4 3) 7

with Ĉ = max{4 C y ttt L,T ;R m ), C T ay }. Imposing the estimates 3) and ) in 9), we obtain ϑ l j 4C n α k ϱ l k + C αk + 8α k Pnẏt l k ) ẏt k ) ) + C Ĉ t 4. 4) In addition, we have that n α k = T and Pnẏt l j ) ẏt j ) = d i=l+ ẏt j), ψi n. Using these identities, we arrive at the estimate to the term involving ϑ l j as α j ϑ l j C t 4 + d i=l+ σ i + α j ẏt j ), ψi n 5) where C = 4CT max{t, 8, Ĉ} and is dependent on y, T, but independent of n and l. Now, combining the estimates ) and 5), we obtain finally the error estimate α j yt j ) Y j = α j ϑ l j + ϱ l j α j ϑ l j + α j ϱ l j d d C t 4 + σi + α j ẏt j ), ψi n + C E d σi + i=l+ i=l+ i=l+ α j ẏt j ), ψi n + t 4 σ i where C E = max{, C } and is dependent on y, T, but independent of n and l. As for the backward Euler and Cranck-Nicholson method [8], the error between the reduced and the unreduced solutions depend for the mid-point rule on the time discretization and on the number of not modelled POD snapshots. 4. Discretization of NLS equation One dimensional NLS equation ) can be written by decomposing Ψ = p+iq in real and imaginary components p t = q xx γp + q )q, q t = p xx + γp + q )p 6) as an infinite dimensional Hamiltonian PDE in the phase space u = p, q) T u = D δh δu, H = p x + qx γ p + q ) ) dx, D = ). 8

After discretizing the Hamiltonian in space by finite differences pj+ ) ) ) p j qj+ q j H = x + γ x x p j + qj ). 7) we obtain the semi-discretized Hamiltonian ode s p t = Aq γqp + q ), q t = Ap + γpp + q ), 8) where A is the circulant matrix A =.......... 4.. Reduced order model for NLS equation Suppose that we have determined POD bases {ψ j } l and {φ j} l of rank l = {,..., d} in R m. Then we make the ansatz p l = p j t)ψ j x), q l = q j t)φ j x) 9) where p j = p l, ψ j, q j = q l, φ j. Inserting 9) into 8), and using the orthogonality of the POD bases {ψ j } l and {φ j} l, we obtain for i =,, l the systems p i = q j Aφ j, ψ i γ q j φ j p j ψ j, ψ i q i = p j Aψ j, φ i + γ p j ψ j q j φ j, φ i 3 γ q j φ j, ψ i 3 + γ p j ψ j, φ i After defining Φ = [φ, φ,, φ l ] R m l, Ψ = [ψ, ψ,, ψ l ] R m l, B) ij = Aφ j, ψ i, we obtain ṗ = Bq γψ T Φq) Ψp) ) γψ T Φq) 3) q = B T p + γφ T Ψp) Φq) ) + γφ T Ψp) 3) 3) with both operation and the powers are hold elementwise. The reduced NLS equation 3) is also Hamiltonian and is solved, as the unreduced semidiscretized NLS equation ), with the symplectic midpoint method applying. 9

linear-nonlinear Strang splitting [7]: In order to solve 8) efficiently, we apply the second order linear, non-linear Strang splitting [7] iu t = N u + Lu, Lu = u xx, N u = γ u u. The nonlinear parts of the equations are solved by Newton-Raphson method. In the numerical examples, the boundary conditions are periodic, so that the resulting discretized matrices are circulant. For solving the linear system of equations, we have used the Matlab toolbox smt [9], which is designed for solving linear systems with a structured coefficient matrix like the circulant and Toepltiz matrices. It reduces the number of floating point operations for matrix factorization to O n log n). 5. Numerical results All weights in the POD approximation are taken equally as α i = /n and = I. Then the average ROM error, difference between the numerical solutions of NLS equation and ROM is measured in the form of the error between the fully discrete NLS solution ROM error = n y h t j ) y l t j ) The average Hamiltonian ROM error is given by n H h t j ) H l t j )) where H h t j ) and H l t j ) refer to the discrete Hamiltonian errors at the time instance t j corresponding to the full-order and ROM solutions, respectively. The energy of the Hamiltonian PDEs is usually expressed by the Hamiltonian. It is well known that symplectic integrators like the midpoint rule can preserve the only quadratic Hamiltonians exactly. Higher order polynomials and nonlinear Hamiltonians are preserved by the symplectic integration approximately, i.e. the approximate Hamiltonians do not show any drift in long term integration. For large matrices, the SVD is very time consuming. Recently several randomized methods are developed [], which are very efficient when the rank is very small, i.e, d << minm, n). e compare the efficiency of MATLAB programs svd and fsvd based on the algorithm in []) for computation of singular values for the NLS equations in this section, on a PC with AMD FXtm)-85 Eight- Core Processor and 3Gb RAM. The accuracy of the SVD is measured by L norm, Y UΣV T. The randomized version of SVD, the fast SVD fsvd, requires the rank of the matrix as input parameter, which can be determined by MATLAB s rank routine. hen the singular values decay rapidly and the size of the matrices is very large, then randomized methods [] are more efficient /. /.

than MATLAB s svd. Computation of the rank with rank and singular values with fsvd requires much less time than the svd for one and two dimensional NLS equations Table ). Problem size of the matrix rank rank fsvd accuracy svd accuracy D NLS 3 x 5 5.4.73 6.4e-4 94.48.3e-6 D NLS 64 x 3 5 79.74 3.8.e-3 3.4.47e-5 CNLS 8 x.5..7e-4.9.5e-6 Table : Comparison of svd and fsvd 5.. One-dimensional NLS equation For the one-dimensional NLS equation ), we have taken the example in [] with γ = and the periodic boundary conditions in the interval [ L/, L/] with L = π. The initial conditions are given as px, ) =.5+. cosπx/l)), qx, ) =. As mesh sizes in space and time, x = L/3 and t =. are used, respectively. Time steps are bounded by the stability condition for the splitting method [7]; t < x L where L is the period of the problem. The discretized Hamiltonion is given by 7) with γ =. The singular values of the snapshot matrix are rapidly decaying Figure ) so that only few POD modes would be sufficient to approximate the fully discretized NLS equation. In Figure, the relative errors are plotted. As expected with increasing number of POD basis functions l, the errors in the energy and the errors between the discrete solutions of the fully discretized NLS equation and the reduced order model decreases which confirm the error analysis given in Section 3. In Figure 3 and 4, the evolution of the Hamiltonian error and the numerical solution at time t = 5 are shown for the POD basis with l = 4, where 99.99 % of the energy of the system is well preserved. These figures confirm that the reduced model well preserves the Hamiltonian, and the numerical solution is close to the fully discrete solution. 4 6 8 5 5 Figure : D NLS, Decay of the singular values

x 6 data error of POD model..5..5.5 4 6 8 4 6 # of POD modes used energy error of POD model 4 3 4 6 8 4 6 # of POD modes used Figure : D NLS, Decay of the ROM errors : solution left), Hamiltonian right) x 5 x 5 Energy Error 5 5 Energy Error by Rom 4 6 8 3 4 5 time 4 3 4 5 time Figure 3: D NLS, Energy error: full-order model left), ROM with 4 POD modes right) Figure 4: D NLS, Envelope of the approximate solution ψ : full-order model left), ROM with 4 POD modes right) 5.. Two-dimensional NLS equation e consider the following two-dimensional NLS equation [] iψ t + Ψ xx + Ψ yy + Ψ Ψ = on [, π] [, π] with the exact solution, Ψx, y, t) = expix + y t)). The mesh size for spatial discretization and time step size are taken as x = y = π/8 and t =., respectively. The discrete Hamiltonian is given

by H = x y m i, 4 pi+,j ) ) ) ) ) p i,j qi+,j q i,j pi,j+ p i,j qi,j+ q i,j + + + x x y y p i,j + q i,j) Only 3 POD modes were sufficient to capture almost all of the energy of the system Table ). A comparison of the Hamiltonian errors in long term computation shows that the reduced order model with a few POD modes preserve the energy of the system very well Figure 6). The singular values of D NLS are decreasing not continuously as for D NLS equation Figure 5). # POD Info % ) ROM Hamiltonian error ROM error 5.65 8.8e-.77e+ 99.995 6.6e-7.4e-3 3 99.998 4.64e-7.34e-3 Table : D NLS, RIC and errors for the real part of the solution 4 6 8 5 5 5 Figure 5: D NLS, Decay of the singular values Energy Error 3.5 x 7 3.5.5.5 Energy Error by Rom x 4.5.5.5.5 5 5 5 3 time.5 5 5 5 3 time Figure 6: D NLS, Energy error: full-order model left), ROM with 3 POD modes right) 3

5.3. Coupled NLS equation e consider two coupled NLS equations CNLS) with elliptic polarization with plane wave solutions [] i Ψ t + Ψ x + Ψ + Ψ )Ψ =, i Ψ + Ψ t x + Ψ + Ψ )Ψ = 3) using the initial conditions Ψ x, ) =.5). cos.5x)), Ψ x, ) =.5). cos.5x)). The equations are solved over the space [, 8π] and time interval [, ], respectively, with the mesh size and time steps dx = 8π/8, t =.5. The discrete Hamiltonian is given as [] H = x m + 4 p j+ p j x ) + q j+ q j x ) + p j ) + p j) ) + q j ) + q j ) ) ) + ) p j+ p j + x q j+ q j x ) p j ) + p j) )q j ) + q j ) ) ) where p, q and p, q denote the real and imaginary parts of ψ and ψ, respectively. Figure 8 & 9 and Table 3 show that only few POD modes are necessary to capture the dynamics of the CNLS equation. The singular values are decreasing not so rapidly Figure 7) as in case of single D and D NLS equations. #POD RIC%) ROM Hamilton error ROM error 99.58.879e-4 5.6e- 3 99.98.865e-4 3.76e- 4 99.99.3e-4 6.49e- 5 99.99.85e-5 3.99e-3 Table 3: Coupled NLS, RIC and errors for the real part of Ψ 5 5 4 6 8 4 Figure 7: Coupled NLS, Decay of the singular values for the real part of Ψ 4

Energy Error.35.3.5..5..5 Energy Error by Rom.3.5..5..5.5 4 6 8 time.5 4 6 8 time Figure 8: Coupled NLS, Hamiltonian error: full-order model left) and ROM with 5 POD modes right) Figure 9: Coupled NLS, Interaction of solitons Ψ and Ψ : full-order model left) and ROM with 5 POD modes right) 6. Conclusions A reduced model is derived for the NLS equation by preserving the Hamiltonian structure. A priori error estimates are obtained for the mid-point rule as time integrator for the reduced dynamical system. Numerical results show that the energy and the phase space structure of the three different NLS equations are well preserved by using few POD modes. The number of the POD modes containing most of the energy depends on the decay of the singular values of the snapshot matrix, reflecting the dynamics of the underlying systems. In a future work, we will investigate the dependence of the ROM solutions on parameters for the CNLS equation by performing a sensitivity analysis. References [] A. Aydın and B. Karasözen, Symplectic and multi-symplectic methods for coupled nonlinear Schrödinger equations with periodic solutions, Computer Physics Communications, 77 7), 566 583. [] A. L. Islas, D. A. Karpeev and C. M. Schober, Geometric Integrators for the Nonlinear Schrödinger Equation, Journal of Computational Physics, 73 ), 6 48. 5

[3] A. Studingeer and S. Volkwein, Numerical analysis of POD a-posteriori error estimation for optimal control, in Control and Optimization with PDE Constraints, eds: K. Bredies, C. Clason, K. Kunisch, G. von inckel, International Series of Numerical Mathematics Volume 64 3) 37 58. [4] E. Hairer, C. Lubich and G. anner, Geometric Numerical Integration. Structure- Preserving Algorithms for Ordinary Differential Equations, Springer Series in Computational Mathematics, Springer-Verlag, Berlin, nd edition, 3 6. [5] E. Schlizerman, E. Ding, O. M. illiams and J. N. Kutz, The Proper orthogonal decomposition for dimensionality reduction in mode-locked lasers and optical systems, Int. J. Optics, ) 8364. [6] G. Berkooz, P. Holmes and J. L. Lumley, Turbulence, Coherent Structuress, Dynamical Systems and Symmetry, Cambridge University Press, Cambridge Monographs on Mechanics, 996. [7] J. A. C. eideman and B. M. Herbst, Split-step methods for the solution of the nonlinear Schrödinger equation, SIAM J. Numer. Anal., 3 986), 485 57. [8] K. Kunisch and S. Volkwein, Galerkin proper orthogonal decomposition methods for parabolic problems, Numer. Math., 9 ), 7 48. [9] M. Redivo-Zaglia and G. Rodriguez, SMT: a Matlab structured matrices toolbox, Numer. Algorithms, 59 ), 639-659. [] N. Halko, P. G. Martinsson, Y. Shkolnisky, M. Tygert, An Algorithm for the Principal Component Analysis of Large Data Set, SIAM J. Sci. Comput., 33, ) 58-594 [] Ya-Ming Chen, Zhu Hua-Jun Zhu and He Song, Multi-Symplectic Splitting Method for Two-Dimensional Nonlinear Schrödinger Equation, Commun. Theor. Phys., 56 ) 67 6. 6