06.08.2013 Views

Sequential Methods for Coupled Geomechanics and Multiphase Flow

Sequential Methods for Coupled Geomechanics and Multiphase Flow

Sequential Methods for Coupled Geomechanics and Multiphase Flow

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.4. CONVERGENCE OF SEQUENTIAL SCHEMES 7<br />

are necessary (Hundsdorfer <strong>and</strong> Splijer, 1981; Hairer <strong>and</strong> T ´ ’urke, 1984; Hairer, 1986; Simo,<br />

1991; Araújo, 2004).<br />

1. Determine whether the problem is contractive, or dissipative. An appropriate norm,<br />

or functional, is defined at this step to show the contractivity property, or energy<br />

decay.<br />

2. Show that the operator split corresponding to the sequential method honors, at the<br />

continuum level, the contractivity property relative to the norm defined in the previous<br />

step. If the operator split is not contractive, then it is not possible to obtain an<br />

unconditionally stable solution scheme (Richtmyer <strong>and</strong> Morton, 1967).<br />

3. When the operator split is contractive at the continuum level, one must then show<br />

contractivity at the discrete time level (B-stability) <strong>for</strong> the individual subproblems<br />

<strong>for</strong> a specific time discretization scheme (e.g., backward Euler, or midpoint rule).<br />

The algorithmic (discrete) stability properties of the individual subproblems (i.e.,<br />

uncoupled) are not necessarily applicable to the B-stability of the coupled problem.<br />

This is because the natural norms associated with the subproblems may be different<br />

from the appropriate norm <strong>for</strong> the coupled problem.<br />

1.4 Convergence of <strong>Sequential</strong> Schemes<br />

For nonlinear problems, stability, in general, does not guarantee convergence. The fully<br />

coupled method provides first-order convergence with respect to time. On the other h<strong>and</strong>,<br />

the convergence properties of sequential schemes depend strongly on the details of the split-<br />

ting strategy, the specific <strong>for</strong>m <strong>and</strong> discretization schemes used <strong>for</strong> the various subproblems,<br />

<strong>and</strong> how the subproblems communicate during a time step.<br />

For example, when an original operator A can be additively split as<br />

˙y(t) = Ay(t) = (A1 + A2)y(t), (1.1)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!