Volume 2012, Issue 1 532870
Research Article
Open Access

Simulation and Domain Identification of Sea Ice Thermodynamic System

Bing Tan

Corresponding Author

Bing Tan

State Key Laboratory of Coastal and Offshore Engineering, Dalian University of Technology, Liaoning, Dalian 116024, China dlut.edu.cn

School of Mathematics and Statistics, Nanyang Normal College, Henan, Nanyang 473061, China nynu.edu.cn

Search for more papers by this author
Peng Lu

Peng Lu

State Key Laboratory of Coastal and Offshore Engineering, Dalian University of Technology, Liaoning, Dalian 116024, China dlut.edu.cn

Search for more papers by this author
Zhijun Li

Zhijun Li

State Key Laboratory of Coastal and Offshore Engineering, Dalian University of Technology, Liaoning, Dalian 116024, China dlut.edu.cn

Search for more papers by this author
Enmin Feng

Enmin Feng

School of Mathematical Sciences, Dalian University of Technology, Liaoning, Dalian 116024, China dlut.edu.cn

Search for more papers by this author
Juan Wang

Juan Wang

School of Mathematical Sciences, Dalian University of Technology, Liaoning, Dalian 116024, China dlut.edu.cn

Search for more papers by this author
First published: 12 July 2012
Citations: 2
Academic Editor: Armin Troesch

Abstract

Based on the measured data and characteristics of sea ice temperature distribution in space and time, this study is intended to consider a parabolic partial differential equation of the thermodynamic field of sea ice (coupled by snow, ice, and sea water layers) with a time-dependent domain and its parameter identification problem. An optimal model with state constraints is presented with the thicknesses of snow and sea ice as parametric variables and the deviation between the calculated and measured sea ice temperatures as the performance criterion. The unique existence of the weak solution of the thermodynamic system is proved. The properties of the identification problem and the existence of the optimal parameter are discussed, and the one-order necessary condition is derived. Finally, based on the nonoverlapping domain decomposition method and semi-implicit difference scheme, an optimization algorithm is proposed for the numerical simulation. Results show that the simulated temperature of sea ice fit well with the measured data, and the better fit is corresponding to the deeper sea ice.

1. Introduction

Arctic sea ice cover affects the exchange of heat, energy, mass, and momentum between the atmosphere and the Arctic ocean, and it is a major component of the Arctic environment. Parkinson and Cavalieri [1] suggested that sea ice in the Arctic is a key indicator of climate change. Sea ice has been the principal threat to the development of the Arctic cruise which is cheap, reliable, and capable of year-around operation. Extremely formidable sea ice cover can restrict the operation of surface ships to a few months each summer, and even then there are areas where icebreaker assistance is still required. Meanwhile, sea ice is also a significant threat for the safe design of offshore structures and harbor facilities. Therefore, the research on sea ice has aroused interests of the scientists in many fields. Unfortunately, the physical parameters of sea ice have been obtained mainly by field measurement until now, which are spare and unsatisfactory due to the difficulties in situ, especially during the polar winter. The parameter identification method can reinforce the field data for improved understanding of the physical mechanism and variabilities of parameters of sea ice because sea ice temperature can be measured continuously and automatically. Moreover, it can help to forecast the variabilities of sea ice and climate [24].

Many researchers have been devoted to the establishment and improvement of the thermodynamic model of sea ice system. Maykut and Untersteinter [5] first formally proposed a comprehensive one-dimensional sea ice thermodynamic model named MU model, but the corresponding fluxes of atmosphere and ocean were not involved. Semtner [6] simplified MU model, his model has been widely used in climate simulations, while lacks universal and effectiveness. Parkinson and Washington [7] made an improvement of Semtner′s model [6], extended the thermodynamic model to a three-dimensional model on a large scale, and considered especially the impact of the leads, which are stretches of open water within fields of sea ice. Hibler [8] established a thermal-dynamic model and carried out first the numerical simulation using finite difference method. Numerical simulation and parameter identification of sea ice thermodynamic system have been paid increasing attention over the past several years, and the consideration of the thermodynamic process of sea ice has been more detailed and comprehensive [912]. The thickness of sea ice is one of the most important parameters in thermodynamic and dynamic models of sea ice, and it describes the vertical scale of sea ice. Unfortunately, owing to the randomness and variability of the distribution of sea ice, the continuous and accurate measurement of the thickness is very difficult. Meanwhile, the continuous changes of sea ice thickness in the numerical simulation of large-scale and long process may lead to comparatively large deviation between the simulated and measured sea ice temperatures. The introduction of the change of sea ice thickness in the thermodynamic system thus cannot only describe the thermodynamic behavior of sea ice better but also make the numerical simulation more accurately, while there is few consideration of it at present [13].

The thermodynamic process of sea ice is a heat conductivity process in nature which can be described by a parabolic partial differential equation generally. Therefore, we describe the variability of sea ice temperature in space and time by a parabolic distributed parameter system, with sea ice temperature as the state variable. A one-dimensional three-layer thermodynamic system coupled by snow, ice, and sea water is considered, and the thicknesses of snow and sea ice are identified. A distributed parameter system in a time-dependent domain is established and transferred to an abstract parabolic evolution system by some mathematical methods, and the existence and uniqueness of the weak solution of the evolution equation are proved. By taking the thicknesses of snow and sea ice as identified variables and the deviation between the calculated and measured temperature of sea ice as the performance criterion, an optimal model with state constraints is presented. Then, the existence of the optimal parameter is discussed, and the one-order necessary condition of the optimality is given. Finally, based on the nonoverlapping domain decomposition method and semi-implicit difference schemes, an optimization algorithm is constructed and applied to study the thickness and temperature of the Arctic sea ice. Through numerical simulation, we obtained the change characteristics of snow and ice thicknesses and temperature distribution in sea ice.

This paper is organized as follows. In Section 2, we present a thermodynamic system coupled by snow, ice, and sea water. Section 3 derives some important properties of a bilinear functional and proves the existence and uniqueness of the weak solution of the evolution equation. Section 4 establishes an optimal model with state constraints and proves the strong continuity of the weak solution with respect to the parameters and the existence of the optimal parameter. Moreover, the one-order necessary condition of the optimality is derived. An numerical optimization algorithm is constructed and applied to numerical simulation in Section 5, and numerical results are presented in Section 6. Some conclusions are presented in the final section.

2. The Coupled Thermodynamic System of Sea Ice

Consider the thermodynamic system of sea ice coupled by snow, ice, and sea water layers (Figure 1), denoted by snow-ice-water system. Since the gradient variation of sea ice temperature in the vertical direction is far greater than that in the horizontal direction, we only consider the heat flux in the vertical direction. Let t denote the time (unit: s), T (0 < T < ) the final time, and [0, T] the observation period. Set IT : = (0, T).

Details are in the caption following the image
Sketch of the sea ice thermodynamic model.
Let x axis be the depth direction of the snow-ice-water system (unit: m), and the point on snow surface at the initial measured time the coordinate origin (Figure 1). Let h1(t), h2(t), and h3(t) be the thicknesses of snow, ice, and sea water layers at the time tIT, respectively, then the total thickness at the time t can be expressed as
()
Obviously, the thickness of sea water at the time t can be expressed as
()
According to the physical properties of sea ice, we have h1(t), h2(t) ∈ C1(IT; R).
Let h1(0) = h10 and h2(0) = h20 be the initial thicknesses of snow and sea ice, respectively, which are known constants, then the initial thickness of sea water layer is
()
Let the initial space domains of snow, ice, and sea water layers be Ω10 = (0, h10], Ω20 = (h10, h10 + h20] and Ω30 = (h10 + h20, L(0)), respectively, then the initial space domain of the system can be described as
()
obviously, Ω0 is a nonempty, bounded, and connected set.
Additionally, let Ω1(t) = (0, h1(t)], Ω2(t) = (h1(t), h1(t) + h2(t)], and Ω3(t) = (h1(t) + h2(t), L(t)) be the space domains of snow, ice, and sea water layers at the time tIT, respectively, then the space domain of the snow-ice-water system at the time tIT can be expressed as
()

Apparently, the measured space-time domain denoted by QT = Ω(t) × IT is opened and bounded.

By the energy conversation and the Fourier law, the coupled thermodynamic sea ice model is thus described by the following parabolic partial differential dynamic system
()
where ρ = ρi is the density, c = ci the specific heat and K = Ki the thermal conductivity, T(x, t) the temperature of the snow-ice-water system at the depth x and the time t (unit: Kelvin), T0(x) the temperature at the depth x and the time t = 0, and g(x, t) = gi(x, t) the heat source term. (x, t) ∈ Ωi × IT,  i = 1,2, 3, denotes the snow, ice, and sea water layer, respectively. Q1(t) and T3(t) are both known functions on the time t.
The system (2.6) is piecewise smooth owing to the difference of the densities, specific heats, and thermal conductivities in the three layers. By the physical properties of sea ice, we give the following assumptions.
  • (A1)

    The thermodynamic parameters (ρ, c, and K) remain unchanged during the measured period.

  • (A2)

    The upper and lower boundaries remain unmoved, namely, the total thickness of the system is a constant (L(t) = L).

  • (A3)

    T(x, t) is continuous on .

  • (A4)

    h1(t), h2(t) ∈ C2(IT; R) are bounded functions with positive values, and there exist hjl > 0 and hju > 0 satisfying hjlhju, such that hjlhjhju, j = 1,2.

Additionally, functions in the system (2.6) should be differential on x or t in some sense; thus, we assume that
  • (A5)

    , T3(t), Q1(t) ∈ C2(IT; R), , i = 1,2, 3.

According to the assumptions (A1) and (A2), we set α = ρc/K, and y(x, t) = T(x, t)−(xL)Q1(t) − T3(t), then the system (2.6) can be described as the following homogeneous boundary value problem denoted by (HBP):
()
()
()
()
where
()

3. Properties of the Coupled Thermodynamic System

For convenience, we let u1 = h1(t), u2 = h2(t), u = (u1, u2), and is measurable, hjlujhju, j = 1,2} ⊂ C2(IT; R+) is the admissible parameter set, Γ is a known nonempty, bounded, closed convex subset on R2. And let Ωu(t) = Ω1u(t) ∪ Ω2u(t) ∪ Ω3u(t) be the spatial domain of the distributed parameter system (HBP) at the time t, where Ωiu(t) = Ωi(t), i = 1,2, 3.

For any and , let Hu(t) = L2u(t); R) be a separable Hilbert space, , φ/x|x=0 = φ|x=L = 0} with norms denoted by and , respectively, then Vu(t) ⊂ Hu(t). Let and denote the inner product on Hu(t) and Vu(t), respectively, and the dual spaces of Hu(t) and Vu(t), respectively, and the dual paring between Vu(t) and , then is a Gelf-triple space with , namely, the embedding Vu(t)↪Hu(t) is continuous, and Vu(t) is dense in Hu(t). The inner product and the induced norm on Hu(t) are defined by
()
The inner product and the induced norm on Vu(t) are defined by
()
where φx and ψx are the derivatives of φ and ψ on the depth x, respectively.
The dual paring between and Vu(t) is expressed as
()
Let ξVu(t), we multiply both sides of (2.7) by ξ and integrate them over Ωu(t):
()
Using the method of integration by parts and the homogeneous boundary conditions, (3.4) can be described as
()
For any tIT, we define a functional on Vu(t) × Vu(t) as
()

The properties of the functional a(t, u; φ, ψ) are presented in the following.

Property 1. Suppose that assumptions (A1)–(A5) hold, then

  • (1)

    a(t, u; φ, ψ) defined by (3.6) is a bilinear functional on Vu(t) × Vu(t).

  • (2)

    For all φ, ψVu(t), a(·, u; φ, ψ) is a measurable function on IT, and there exists c > 0, such that .

Proof. (1) For all λ1, λ2R, for all φ1, φ2, ψ1, ψ2Vu(t), we have

()
So a(t, u; φ, ψ) is a bilinear functional on Vu(t) × Vu(t).

(2) Obviously, for all φ, ψVu(t), a(t, u; φ, ψ) is a measurable function on IT according to (3.6), and

()
Taking c = α, then .

Property 2. Suppose that assumptions (A1)–(A5) hold, then, for the bilinear functional a(t, u; φ, ψ) defined by (3.6), there exist α0 > 0 and λ > 0, such that , for all .

Proof. The conclusion follows directly from (3.6) and Garding inequality [14].

From the Properties 1 and 2 and Lax-Milgram theorem [15], there exists a bounded continuous linear operator , such that
()
()

According to (3.9), the Properties 1 and 2, we can get the following property.

Property 3. Suppose that assumptions (A1)–(A5) hold, then for all , for all φ, ψVu(t), and for all , there exist M1 > 0 and M2 > 0, such that

()

For any , φVu(t), and , set , then H(t, u; φ) is a continuous linear functional on Vu(t). According to Riesz representation theorem [14], there exists a unique element , such that

()

From the above, for each , the system (HBP) can be written as a parabolic evolution equation denoted by (PEE):

()
where , , and , with the inner product defined as
()

Obviously, the above process is reversible, the system (PEE) is thus equivalent to (HBP). The definition of weak solution of the system (PEE) is given in the following.

Definition 3.1. A function is a weak solution of (PEE), if y(t, x; u) satisfies

()
where ξVu(t) and .

Theorem 3.2. Suppose that assumptions (A1)–(A5), Properties 1 and 3 hold. For all , let Ωu(t) = xu(t, Ω0) is bounded, and there exists a countable base {φ1(t), φ2(t), …} on Vu(t), such that , i = 1,2, …  . Then, the system (PEE) has a unique weak solution which depends continuously on f and y0.

Proof. Let , here n(x) is the outward normal vector of Ωu(t) at x. By the definition of Vu(t), we know that ψVu(t) satisfies the Dirichlet condition (ψ(x) = 0, ) for any given . The system (PEE) thus has a unique weak solution which depends continuously on f and y0 [15].

From the above theorem, we can also know that the system (HBP) has a unique solution .

4. Parameter Identification of the Coupled System

4.1. Identification Model

We define the performance criterion as
()
with
()
where T(t, x; u) is the temperature function obtained from the system (2.6), is the observed temperature. Let , then (4.1) is expressed as
()
The goal of this study is to make the temperature T(t, x; u) obtained from the system (2.6) fits the measured data as far as possible. Then, the identification model of the system (HBP) is expressed as
where is the solution of system (HBP) corresponding to , and J(u) is defined by (4.1).
Obviously, from (4.1)–(4.2), we can conclude that the problem (SIP) is equivalent to the following problem
where is the solution of system (2.6) corresponding to .

4.2. Strong Continuity of the Weak Solution on Parameters

Theorem 4.1. Suppose that assumptions (A1)–(A5) hold, then the mapping uy(t, x; u) is strongly continuous.

Proof. For any given parameter , let be a feasible parameter sequence, such that ∥unu0∥→0 as n, and yn and y0 the solutions of (PEE) corresponding to un and u0, respectively. Set wn = yny0, pn = p(t, x; un), p0 = p(t, x; u0), then we obtain the following system

()

Multiply both sides of the first equation of (4.4) by wn and integrate them over Ωu(t)×[0, t], then we have

()

For the first term of (4.5) on the left side, we have

()

For the second term of (4.5) on the left side, according to Property 2, we have

()
where α0 and λ are the same with that of Property 2.

Using the elementary inequality ab ≤ (1/2ɛ)a2 + (ɛ/2)b2 and taking ɛ = α0, then, for the right terms of (4.5), we have

()

Let . Substituting (4.6)–(4.8) into (4.5), then we have

()

Using Gronwall inequality, we obtain

()

From all the above and ∥unu0∥→0, we get |pnp0 | → 0, the mapping uy(t, x; u) is thus strongly continuous.

4.3. Existence of Optimal Parameter

Theorem 4.2. Suppose that assumptions (A1)–(A5) hold, then there exists at least one optimal parameter satisfies the identification problem (SIP).

Proof. Obviously, f0(u) is continuous on Vu(t), and, from (4.3), dxdt ≥ 0. By Theorem 4.1, the mapping uy(t, x; u) is continuous. Hence, the mapping uJ(u) is continuous on . Since is a nonempty, bounded, and closed set, there exists , such that for all , J(u*) ≤ J(u), e.g., is an optimal parameter, thus the desired result is obtained.

4.4. Necessary Optimality Condition

Let be the optimal parameter of the problem (SIP), following the convex compactness of and the continuity of J(u) on , we can prove that J(u(·)) is Gateaux differentiable at and its Gateaux derivative DJ(u*(·)) exists. Hence, we can get the following necessary conditions for optimality.

Theorem 4.3. Suppose that assumptions (A1)–(A5) are valid, and let be the optimal parameter of the system (SIP), then u*(·) satisfies the following inequality:

()

5. Optimization and Numerical Algorithm

5.1. Optimization of the Parameter Identification Model

In this section, we aim at constructing an optimal algorithm to solve the parameter identification problem (SIPO). On the domain Ωi(t), we decompose (2.6) as
()
with the initial condition
()
and the boundary and penetrating conditions
()
()
()

Denote the subsystem composed by (5.1), (5.2), and (5.3) as (IBP) 1, by (5.1), (5.2), and (5.4) as (IBP) 2, and (5.1), (5.2), and (5.5) as (IBP) 3.

According to the partial differential theory, we can obtain the following theorem.

Theorem 5.1. Suppose that assumptions (A1)–(A5) are valid, then, for any , the subsystem (IBP) i has a unique weak solution Ti(x, t; u) ∈ Ci(t), IT, Uad; R) which depends continuously on .

Let M, N be the numbers of the measured spatial and temporal spots, respectively, xk the measured depth, tj the measured time, T(xk, tj; u) the calculated temperature of sea ice at depth xk and time tj from the system (2.6), the measured temperature data at depth xk and time tj, then the practical identification problem can be expressed as
Let is the solution of the subsystem (IBP) i corresponding to , and for the numerical implementation, the problem (SIPOD) can be decomposed to the following three connected subproblems
Obviously, the performance function of (SIPOD) can be described as
()

From Theorem 4.2, we can get that there also exists at least one optimal parameter satisfying the subproblem (SIPODi).

Set
()
then, the identification problem is expressed as
and the subidentification problem is

Theorem 5.2. If u* is the optimal parameter of SIPOD, then u* is also that of (SIPODb).

5.2. Numerical Optimization Algorithm

In this section, the semi-implicit finite difference scheme [15] is employed to discretize, and the nonoverlapping Schwarz alternating direction method to solve (5.1). And related to the measured temperature data {T(zk, tj)}, a numerical optimization algorithm is constructed with the following steps.

Step 1. Select starting points , n directions e1, e2, …,  en, starting step length Δu = (Δu1, Δu2), Δu1 > 0, Δu2 > 0, acceleration factor α, accuracy ɛ > 0, and the maximum iteration number kmax, set v0 = u0, k = j = 0;

Step 2. Calculate the numerical solution T(x, t; vj), by nonoverlapping Schwarz alternating direction method and semi-implicit difference scheme.

Step 3. If Jb(vj + Δu · ej) < Jb(vj), set vj+1 = vj + Δu · ej; for the case Jb(vj + Δu · ej) ≥ Jb(vj), if Jb(vj − Δu · ej) < Jb(vj), set vj+1 = vj − Δu · ej, else, set vj+1 = vj.

Step 4. If j < n, set j = j + 1, go to Step 3; for the case j = n, if Jb(vn+1) ≤ Jb(uk), go to Step 5, else, go to Step 6.

Step 5. Set uk+1 = vn+1, v0 = uk+1 + α(uk+1uk), k = k + 1, and j = 0, go to Step 2.

Step 6. If kkmax, stop, set u* = uk, else, set v0 = uk, uk+1 = uk, k = k + 1, and j = 0, go to Step 2.

6. Numerical Results

Using the above optimal algorithm, we can obtain the temperature distribution T(xk, tj; u) of sea ice in the Arctic. The data set was measured by a monitor buoy installed on floe ice in the Arctic.

The comparison between the calculated and measured sea ice temperatures from November 1, 2003 to February 29, 2004 was shown in Figure 2, with the test temperatures data being smoothed for the unomitted transparent errors in some of the original data. The measured and simulated data in Figure 2 both indicate a general increasing trend of the temperature of sea ice, while a decreasing increment with increasing depth of sea ice. Meanwhile, because the data had been measured during the freezing period of sea ice, the temperature generally decreases with increasing time. The calculated temperature fits well with the measured data; furthermore, the better fit between the calculated and measured temperatures is corresponding to the deeper sea ice. The temperature deviation between the simulated and measured temperatures is 0.361, which is a much small error for the temperature of sea ice. It can be concluded that the numerical results by our method reflect the actual variation of the sea ice temperature distribution and approach the measured data well.

Details are in the caption following the image
Comparison of calculated and measured temperatures.

7. Conclusions

In this study, we aim to simulate the temperature of sea ice with thicknesses of snow and sea ice as identified parameters. We established a parabolic distributed system of the temperature field of sea ice with a time-dependent domain in the Arctic sea ice and proposed its parameter identification problem with thicknesses of snow and sea ice as identified variables and the deviation between the calculated and measured sea ice temperatures as the performance criterion. And we proved the unique existence of the weak solution of the thermodynamic system, discussed the existence of the optimal parameter, and derived the one-order necessary condition. Finally, based on the nonoverlapping domain decomposition method and semi-implicit difference scheme, we constructed an optimization algorithm to simulate the sea ice temperature in the Arctic. The results (Figure 2) show that the temperature of sea ice increases with increasing depth of sea ice, while, because the measurement had been made during the freezing period of sea ice, it decreases with increasing time.

The simulated temperatures of sea ice fitted well with the measured data, and the deviation between the simulated and measured temperature of sea ice was slight. It indicates that the numerical results by our method reflect the actual variation of the sea ice temperature distribution in space and time. Meanwhile, it is illuminated that the algorithm proposed in the present study is valid and more suitable for the deeper sea ice.

Nevertheless, it is important to note that our mathematical framework was verified only using in situ data from the Arctic, and the variabilities of the physical parameters of the coupled sea ice system, such as density, specific heat, were not considered, more measurements would be required for a true verification of this method in the future work. However, we believe that our method is a promising approach worthy of further studies under different environmental conditions in the Arctic as well as in the Antarctic.

Acknowledgments

The authors are grateful to Chinese Arctic and Antarctic Administration for the logistic support during the field investigation in the Arctic Ocean. This study was supported by the National Nature Science Foundation of China (Grants no. 40930848, 50921001, and 10871033), and Norwegian Research Council Project AMORA (no. 193592/S30).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.