Enriched evolution of global sea surface height via generalized Schrodinger bridge and Fokker-Planck solver
Abstract.
Global warming has been discussed for decades and is one of most popular topics in different areas of research. The sea level rise in recent decades, which was mainly caused by global warming, has drawn great attentions and interests from scientists because it’s crucial to human life as well as the entire earth system. A generalized Schrödinger bridge problem with an underlying energy landscape is used to model this process. We introduce an iterative numerical method for the associated mixed control problem with a given initial distribution (sea level height at the year 1994) and a given ending distribution (sea level height at the year 2014). The convergence of the introduced iterative method for finding the optimal transformation path of SSH is validated numerically. The evolution of sea level height from August 1994 to August 2014 has been characterized during the model simulation and the sea level height evolutions in several significant areas induced by ocean mesoscale eddies are reveled.
1. Introduction
Climate change, which refers to long-term shifts in temperatures and weather patterns of the earth, has been discussed for decades and is still one of the most popular topics in different areas of research. This change may be natural caused by the variations in the solar cycle. However, human activities have significantly impacted climate change since 1800s, primarily due to burning of fossil fuels such as oil, gas and coal. Known as the greenhouse effect, the emissions of greenhouse gas continue to rise and cause the temperature rising to a great extent. According to the historic records, the Earth is now about 1.1 Celsius degree warmer than it was in the late 1800s. And actually, the last decade (2011-2020) witnessed the warmest decade on record so it is also known as global warming. As a result, glaciers and ice sheets began to melt as a high speed. The seawater will also undergo thermal expansion as it warms. These effects will all cause the rising water level. As observed by Church and White (2011) [1], the global mean sea level has risen about 8-9 inches (21-24 centimeters) since 1880. And in 2021, the global mean sea level was 3.8 inches above the 1993 levels, making it the highest annual average in the satellite record (1993-present).
Global warming is the major cause for sea level rising through two ways. First of all, glaciers and ice sheets are melting as the temperature rose so they add water into the ocean. Second, the volume of the sea water expanded as the sea water temperature rose.
Investigations on sea level change is one of the most important scientific topics because it significantly influences human life. In the United States, with more than of the US population live in coastal counties, almost of the population lives there. Globally, 8 of the world’s 10 largest cities are near a coast. So, in urban settings along coastlines around the world, rising seas threaten infrastructure necessary for local jobs and regional industries. Roads, bridges, subways, water supplies, oil and gas wells, power plants, sewage treatment plants, landfills - the list is practically endless - are all at risk from sea level rise. Moreover, high background water levels means that deadly and destructive storm surges, especially those caused by hurricanes.
As the development of ocean observation technologies, there have been two major methods measuring the sea level: tide gauges and satellite altimeters. One is in-situ observations and the other one is remote sensing observations. With the rapid expanding of super computers, different numerical models have also been applied to analyze and predict the sea level changes. Among all parameters, Sea Surface Height (SSH) is the most frequently used parameter to describe the global sea surface change. It is the height of the sea surface above a reference ellipsoid. This is the direct product of satellite altimetry. Sea surface height values are provided along the satellites’ ground tracks or at regular grids interpolated from the values determined along the satellite tracks. Instantaneous sea surface height values contain long-term, annual, seasonal and short-term temporal variations of the ocean surface.
Past and future sea level rise at specific locations on land may be more or less than the global average due to local factors: ground settling, upstream flood control, erosion, regional ocean currents, and whether the land is still rebounding from the compressive weight of Ice Age glaciers. In the United States, the fastest rates of sea level rise are occurring in the Gulf of Mexico from the mouth of the Mississippi westward, followed by the mid-Atlantic. Only in Alaska and a few places in the Pacific Northwest are sea levels falling, though that trend will reverse under high greenhouse gas emission pathways.
In this paper, we aim to simulate an optimal transformation path from a given SSH at an initial time, say the year 1994, to the SSH at the year 2014. To find an optimal transformation path with only two given ending data. A generalized Schrödinger bridge problem [15], which describes how to transform one distribution to another distribution with an underlying driving potential is used to model the transformation processes; see details in the next section. The Fokker-Planck solver based on the mixed optimal control algorithm is introduced to estimate the optimal path from initial density to final density. This algorithm is numerically shown to be stable and will be used to construct an optimal transformation path. The convergence of the introduced iterative method for finding the optimal transformation path of SSH is validated numerically. The process is then applied to the analysis of the evolution process of the global SSH within the past 20 years (from 1994 to 2014). The evolution process in the North Pacific is analyzed in detail to illustrate the rapid change of SSH under the background of global warming.
2. Background in generalized Schrödinger bridge problem
2.1. The Schrodinger bridge problem and optimal control formulation
The Schrödinger bridge problem (SB) was first introduced by Schrödinger in 1932 [17] and now becomes a fundamental framework in the physics, mathematics, engineering and information geometry to modeling the ensemble statistical transition path between fixed initial and final distributions.
Given initial density and final density , denote (SB) as the Schrödinger bridge problem
(2.1) | |||
When , the optimal is the optimal velocity field in Optimal transport.
2.2. Generalized Schrödinger Bridge problem with an energy landscape
It worth to notice the above Schrödinger Bridge problem can be generalized to include an energy functional beyond the entropy. An internal energy showing an underlying driving potential can be used to guide the evolution of SSH patterns, which may be affected by multiple factors as a result of global warming. The combined driven force of those factors is usually vague and difficult to distinguish from each other. Thus the art of choosing proper underlying driving potential is case by case.
For simplicity, we consider distributions in the probability space on or . Denote the final distribution of SSH as . Based on the Boltzmann analysis, we can regard the final distribution as a probability that is proportional to the exponential of a potential difference
(2.2) |
Then we use the relative entropy as a typical internal energy
(2.3) |
It is easy to calculate the first variation of is
(2.4) |
One have the general Schrödinger bridge problem (SBg)
(2.5) | ||||
It is equivalent to the so called general Yasue problem [19]
(2.6) | |||
Indeed, this can be seen by the changing variable in (2.5). Then one can directly compute the running cost with Lagrangian ,
where we used the constraint . Notice the last term above is which after the time integration is a constant depending only on the fixed initial distribution and the ending distribution.
We remark that there is another way to recast the corresponding Lagrangian function as
(2.7) | ||||
(2.8) |
This indeed measures the residual of gradient flow of in the norm. This is also the -function in the Large derivation principle of the average process , with being the i.i.d Markov process with generator [5, 9, 12].
In the next section, we will use the generalized Schrödinger Bridge problem with various energy landscape to design algorithms in image morphing and transition state theory.
2.3. Hopf-Cole transformation
In this section, we convert the optimization problem (2.5) as a coupled PDE system with two boundary conditions.
First we derive the Euler-Langrange-Bellman equation for the generalized Schrödinger bridge problem (2.5).
One can derive the Euler-Lagrange equations using Lagrangian multiplier
(2.9) |
Notice . Then the constraint becomes the Fokker-Planck equation for the drift-diffusion process
(2.10) |
Thus the Euler-Lagrange equations are
(2.11) | |||
Therefore, the optimal control velocity is given by
and the Euler-Lagrange-Bellman equation becomes
(2.12) | |||
Now we introduce a Hamiltonian functional
(2.13) |
Then by elementary computations, we have
Thus the Euler-Lagrange-Bellman equation (2.12) becomes a Hamiltonian system in infinite dimensional space
(2.14) | |||
Then by the Hopf-Cole transformation (c.f. [3, 6, 9]): defined as
(2.15) | |||
(2.16) |
where is the first variation of .
Then we have
(2.17) |
Or equivalently
(2.18) | |||
(2.19) |
With this transformation, one can check
Then in terms of the the ELB equations (2.12) are
(2.20) | |||
or equivalently
(2.21) | |||
Define the Fokker-Planck operator
(2.22) |
With a given equilibrium , denote and . With , one can rewrite the FP operator as
(2.23) | ||||
Therefore the equations become
(2.24) | |||
The gSB problem is to find the data and such that
(2.25) | |||
(2.26) |
As a result, the obtained and can be used to construct the gSB solution
(2.27) |
The Fokker-Planck equation can be solved via the finite volume method introduced in [16, 4, 14, 8], which can also be generalized to the solver for Fokker-Planck equations on a manifold. The first difficulty here is the initial data and the ending data for and for are unknown. Thus some iterative shooting method for finding and based on given and are necessary. Some existing ones are [18, 2]. On the other hand, how to design the potential in the forward and the backward equations is an art based on the application in the current context. We refer to [10, 11, 12] for various design of either a reversible or an irreversible drift to adjust the optimally controlled trajectories in the Fokker-Planck equation.
2.4. Double control problem
In this section, we introduce the double control method for computing the optimal transformation path. The idea is illustrated in figure 1.

Given the initial/ending distributions , one first solves the forward control problem with the driving potential Then with the same initial/ending distributions , one solves the backward control problem with the driving potential
Precisely, define the forward control problem
(2.28) | ||||
Define the backward control problem
(2.29) | ||||
Then the Euler-Lagrange-Bellman equation to the forward control problem (2.4) is
(2.30) | |||
with . And the Euler-Lagrange-Bellman equation to the backward control problem (2.4) is
(2.31) | |||
with .
Under the same Hopf-Cole transformation (2.15) for ,
(2.32) | |||
(2.33) |
we have the equations
(2.34) | |||
Then forward control problem (2.4) is to find the data and such that
(2.35) | |||
(2.36) |
Particularly, when , we have Thus the data for equation is
(2.37) | |||
(2.38) |
As a result, the obtained and can be used to construct the solution to the forward control problem (2.4)
(2.39) |
Similarly, under the Hopf-Cole transformation (2.15) for ,
(2.40) | |||
(2.41) |
we have the equations for
(2.42) | |||
Then backward control problem (2.4) is to find the data and such that
(2.43) | |||
(2.44) |
Particularly, when , we have Thus the data for equation is
(2.45) | |||
(2.46) |
As a result, the obtained and can be used to construct the solution to the forward control problem (2.4)
(2.47) |
3. Numerical schemes for a mixed control problem
In this section, based on the description for the forward/backward control problem in the last section, we introduce the mixed control problem and give the associated algorithm for this mixed control problem.
Take the driving potential as in the forward Fokker-Planck equation and take the driving potential in the backward Fokker-Planck equation. Then we find solutions with proper initial and ending data to
(3.1) | |||
(3.2) |
We also need to find and such that
(3.3) | |||
(3.4) |
As a result, the obtained and can be used to construct
(3.5) |
3.1. Mixed control scheme via a generalized Sinkhorn algorithms
We now design an algorithm based on the generalized Sinkhorn algorithms [18]. The convergence of this algorithm is an interesting question which need some analysis. In the example for the evolution of SSH, we numerically show the convergence of this iteration method.
Denote the numerical solution at -th iteration as . Below we describe the algorithm.
Input: Begin image , End image , Initial guess .
Step 1. Given data , solve FP (3.1) to time . Denote the obtained solution as .
Step 2. Based on (3.4), solve by
(3.6) |
Step 3. Using data , solve FP (3.2) to time . Denote the obtained solution as
Step 4. Based on (3.3), solve by
(3.7) |
Output: The converged , . Then with these solve , and construct
(3.8) |
4. Experiment for SSH evolution
4.1. Data
In this paper, the global SSH data are derived from the HYCOM (HYbrid Coordinate Ocean Model) re-analysis dataset. The HYCOM consortium is a multi-institutional effort sponsored by the National Ocean Partnership Program (NOPP), as part of the U. S. Global Ocean Data Assimilation Experiment (GODAE), to develop and evaluate a data-assimilative hybrid isopycnal-sigma-pressure (generalized) coordinate ocean model. The GODAE objectives of three-dimensional depiction of the ocean state at fine resolution in real time, provision of boundary conditions for coastal and regional models, and provision of oceanic boundary conditions for a global coupled ocean-atmosphere prediction model, are being addressed by a partnership of institutions that represent a broad spectrum of the oceanographic community.
HYCOM is a product from the HYCOM Consortium that forecasts global ocean conditions. The HYCOM NCODA Global degree Analysis (GLBy0.08/expt_93.0) provides five variables including Sea Surface Height as well as eastward velocity, northward velocity, in-situ temperature, and salinity at 40 vertical depth levels ranging from 0 m at the ocean surface to 5,000 m. It combines the model results and satellite observation data with the horizontal grid to be 0.08 degree along longitude and 0.08 degree along latitude.
In the experiments of this paper, the starting point is set to be the monthly averaged SSH in August, 1994 and the end point is set to be the monthly averaged SSH in August, 2014. The goal for the experiment is to simulate the optimal evolution path from the starting point to the end. In order to monitor the simulation results in detail, results in the northern Pacific region will be viewed and analyzed. This region is specially selected because the existence of Kuroshio current. Similar to the Gulf Stream in the North Atlantic, the Kuroshio Extension is a dynamic but relatively unstable system, with variability in the associated bifurcation latitude occurring on interannual time scales. The cause of these variations and their effects on the surface flow and total transport of waters has been studied extensively, SSH can be a direct indicator for Kuroshio so with recent advances in sea surface height satellite altimetry methods allowing for observational studies on larger timescales. As can be seen in figure 2 and figure 3, both SSH patterns clearly indicate the Kuroshio current and its extension.


4.2. Results
4.2.1. Evolution of SSH
A total of 350 iterations () have been performed and inside of each iteration 51 steps were carried out to simulate the optimal path from the starting point (monthly averaged SSH in August, 1994) to the end point (monthly averaged SSH in August, 2014). Simulation results are saved for further analysis after each step inside of each iteration.
In order to evaluate the performance of this algorithm, several comparisons are put forward. First, the SSH evolutions after different iterations are compared. Figure 4 shows the SSH evolution after the 1st, 10th, 30th, and 51st steps after the 30th iteration. The process clearly illustrates the SSH evolution in the region of North Pacific, especially around the Kuroshio current area. The overall trend of SSH evolution revealed in the experiment is consistent with reality. As introduced in the introduction, the global warming trend in recent decades notably causing the continuous rising of the sea level. The enhancement of SSH mainly occurs on the right side of Kuroshio because of the Coriolis force. Note that several high SSH concentration areas which are caused by the convergence of ocean mesoscale eddies as well as low SSH concentration areas which are caused by the divergence of ocean mesoscale eddies are clearly indicated during the evolution process. The movements of those eddies can be clearly described in the evolution process as well. Figure 5 shows the results of SSH evolution after the final iteration when . Similar as shown in figure 4, it also clearly indicates the evolution process for SSH, especially around Kuroshio area as well as the convergence and divergence caused by ocean mesoscale eddies. Note that although the difference between figure 4 and figure 5 is insignificant, it will indicate how this algorithm performs in terms of approaching the optimal evolution path. We will have more discussions in next session.


4.2.2. Comparison between different iteration steps
From discussions in last section, we can conclude the capacity of this algorithm to simulate the evolution process for SSH. In this section, we will discuss the capacity of the algorithm to simulate the optimal path from starting point to the end point. As mentioned in Section 2, the optimal velocity field will be obtained as the iteration put forward. In another word, the optimal path for the SSH field from starting point (August, 1994) to the end (August, 2014) will be established as iteration goes on. Figure 1 presents a sketch on how the optimal path is gained with iteration and approaching the “Actual Path” from the starting initial state to the end state. When the algorithm is working fine, the evolution path from initial to end will be optimized towards the direction of “Actual Path”. That means the difference between evolution path will be smaller as the iteration goes on.
The difference of SSH evolution process between iterations is calculated and analyzed as are shown in figure 6 and figure 7. Figure 6 shows the results between iteration 30 and 50. It can be noticed that although the difference between the starting status (not shown) and the end status are invisible from the patterns, the in-between process shows significant differences, indicating the different evolution path as shown in figure 1. However, at the end of the iterations, we analyzed the above differences between iteration 330 and 350 as shown in figure 7. It can be clearly noticed that the differences all fall below a small value with most part has a difference smaller than the machine precision. This is straightforward evidence indicating the evolution paths between the iterations being identical. According to the theory of optimal transport, the optimal velocity field has been reached.


5. Discussion
In this paper, the evolution process of SSH in the North Pacific is simulated based on a generalized Schrödinger bridge and Fokker-Planck solver. The evolution of SSH from August 1994 to August 2014 has been revealed. Evolution process indicates how sea level rising under the circumstances of global warming. The SSH evolutions in several significant areas induced by ocean mesoscale eddies are simulated. The underlying dynamic mechanisms for those evolution should be analyzed but it’s beyond the scope of this paper. The optimal path and the convergence of the proposed iterative mixed control algorithm is then numerically verified by comparing the differences between results of different iterations. Clear evidences show the approaching of optimal path from starting status to the end status, indicating the success of the algorithm and its capability to find the optimal velocity field in optimal transport. We remark this type of finding the optimal transformation path between two given data is different from directly solving a gradient flow system [13, 7] in a Hilbert space or a Banach space because the transformation is finished in a finite time horizon.
References
- [1] John A Church and Neil J White. Sea-level rise from the late 19th to the early 21st century. Surveys in geophysics, 32(4):585–602, 2011.
- [2] Marco Cuturi. Sinkhorn distances: Lightspeed computation of optimal transport. Advances in neural information processing systems, 26, 2013.
- [3] L.C. Evans and H. Ishii. A pde approach to some asymptotic problems concerning random differential equations with small noise intensities. Annales de l’Institut Henri Poincaré C, Analyse non linéaire, 2(1):1–20, Feb 1985.
- [4] Robert Eymard, Thierry Gallouët, and Raphaèle Herbin. Finite volume methods. Handbook of numerical analysis, 7:713–1018, 2000.
- [5] Mark I. Freidlin and Alexander D. Wentzell. Random Perturbations of Dynamical Systems, volume 260 of Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 2012.
- [6] Yu Gao, Yuan Gao, and Jian-Guo Liu. Large time behavior, bi-hamiltonian structure, and kinetic formulation for a complex burgers equation. Quarterly of Applied Mathematics, 79(1):55–102, 2021.
- [7] Yuan Gao. Global strong solution with bv derivatives to singular solid-on-solid model with exponential nonlinearity. Journal of Differential Equations, 267(7):4429–4447, 2019.
- [8] Yuan Gao, Guangzhen Jin, and Jian-Guo Liu. Inbetweening auto-animation via fokker-planck dynamics and thresholding. Inverse Problems & Imaging, 15(5):843, 2021.
- [9] Yuan Gao, Tiejun Li, Xiaoguang Li, and Jian-Guo Liu. Transition path theory for langevin dynamics on manifold: optimal control and data-driven solver. Multiscale Modeling and Simulation, 2022.
- [10] Yuan Gao, Jin Liang, and Ti-Jun Xiao. A new method to obtain uniform decay rates for multidimensional wave equations with nonlinear acoustic boundary conditions. SIAM Journal on Control and Optimization, 56(2):1303–1320, 2018.
- [11] Yuan Gao and Jian-Guo Liu. A note on parametric bayesian inference via gradient flows. Annals of Mathematical Sciences and Applications, 5(2):261–282, 2020.
- [12] Yuan Gao and Jian-Guo Liu. Revisit of macroscopic dynamics for some non-equilibrium chemical reactions from a hamiltonian viewpoint. Journal of Statistical Physics, 189(2):1–57, 2022.
- [13] Yuan Gao, Jian-Guo Liu, and Xin Yang Lu. Gradient flow approach to an exponential thin film equation: global existence and latent singularity. ESAIM: Control, Optimisation and Calculus of Variations, 25:49, 2019.
- [14] Yuan Gao, Jian-Guo Liu, and Nan Wu. Data-driven efficient solvers for langevin dynamics on manifold in high dimensions. Applied and Computational Harmonic Analysis, 62:261–309, 2023.
- [15] Gabriel Peyré, Marco Cuturi, et al. Computational optimal transport: With applications to data science. Foundations and Trends® in Machine Learning, 11(5-6):355–607, 2019.
- [16] Donald L Scharfetter and Hermann K Gummel. Large-signal analysis of a silicon read diode oscillator. IEEE Transactions on electron devices, 16(1):64–77, 1969.
- [17] Erwin Schrödinger. Sur la théorie relativiste de l’électron et l’interprétation de la mécanique quantique. In Annales de l’institut Henri Poincaré, volume 2, pages 269–310, 1932.
- [18] Richard Sinkhorn. A relationship between arbitrary positive matrices and doubly stochastic matrices. The annals of mathematical statistics, 35(2):876–879, 1964.
- [19] Kunio Yasue. Stochastic calculus of variations. Journal of functional Analysis, 41(3):327–340, 1981.