View source for Roots of the Dispersion Relation

{{pages to be deleted}}

The distribution of the roots of both the finite depth and the infinite depth dispersion relations have been published previously, by [[Fox and Squire 1990]] and [[Squire and Dixon 2000]] respectively. However, there are interesting exceptions to those rules, particularly for shorter periods. Although the periods at which these deviations from the usual behaviour occur are often small enough to make ice-coupled water waves physically impossible, for interest's sake they are presented below. First, however, the properties of the shallow water roots are discussed, as they help to introduce the small-period behaviour of the finite depth roots. There is also a connection between the shallow water Green's function and the Green's function for an isolated plate (i.e., one that isn't floating), which is explained in [[Section 5.1.2]].

==Shallow Water Roots==
Recall that the finite depth dispersion relation for the left-hand sheet of ice is

<center><math>
f_0(\kappa)=1/\kappa\tanh\kappa-\Lambda_0(\kappa)=0,\,
</math></center>

where <math>\Lambda_0=\kappa^4+\varpi</math>. Since <math>\tanh\kappa\approx\kappa H</math> for small <math>H</math>, for shallow water we can obtain the approximate dispersion relation <math>p_s(\kappa^2)=(\kappa^4+\varpi)\kappa^2H-1=0</math>, which is a cubic polynomial in <math>\kappa^2</math>.

Setting <math>\varpi=0</math> means <math>p_s(w)=Hw^3-1=0</math> when <math>H^{1/3}w</math> is a cube root of unity. The roots usually show this kind of distribution---there is always one real root, <math>\gamma_0^2</math>, and two roots <math>\gamma_{-1}^2</math> and <math>\gamma_{-2}^2</math> in the left hand half of the complex plane. The latter two roots are usually a complex conjugate pair (if <math>\mathfrak{Im}[\gamma_{-1}^2]>0</math>). However, by solving for when

[[Figure B.1]]: Small period behaviour of the roots of the shallow water dispersion relation for ice-coupled waves, <math>f_0(\kappa)=-p_s(\kappa^2)/\kappa^2H</math>, where <math>p_s(w)=(w^2+\varpi)wH-1</math>. The roots <math>\kappa=\pm\gamma_n</math> (<math>n=-2,-1,0</math>) of <math>f_0</math> are the square roots of the roots of the cubic <math>p_s</math>. The left hand column shows <math>p_s</math> plotted against <math>w</math> for a series of values of <math>\varpi</math>. Note that when <math>\varpi=\varpi_s=-3/(2H)^{2/3}</math>, <math>p_s(w)</math> has a double root on the negative real axis which separates to form two simple roots for <math>\varpi<\varpi_s</math>. The right hand column shows the locations of the roots of <math>f_0</math> in the copmlex plane for the same values of <math>\varpi</math>; arrows on two of these plots indicate the direction that the complex roots in the upper half plane move in as <math>\varpi</math> becomes more negative. When <math>\varpi</math> reaches <math>\varpi_s</math>, the complex roots in the upper half plane meet on the positive imaginary axis and, like the roots of <math>p_s</math>, separate into two single roots as <math>\varpi</math> becomes more negative (or equivalently, as period decreases and/or <math>h_0</math> increases). The value of the nondimensional water depth used is <math>H=1</math>.


<math>p_s'(w)=p_s(w)=0</math>, it can be shown that as <math>\varpi</math> decreases towards <math>\varpi_s=-3\times(2H)^{-2/3}</math>, they both move closer and closer towards the negative real axis. When <math>\varpi</math> reaches <math>\varpi_s</math>, the complex conjugate pair form a double root at <math>w=w_s=-(2H)^{-1/3}</math>, which then separates to form two simple roots that remain on the negative real axis for all <math>\varpi<\varpi_s</math>. In that case we will assume <math>\gamma_{-1}^2>\gamma_{-2}^2</math>.

Figure B.1 shows the shape of <math>p_s(w)</math> for real <math>w</math> as the above transition takes place. As <math>\varpi</math> becomes negative, <math>p_s</math> develops a local maximum which moves upwards as <math>\varpi\to\varpi_s</math>, hitting the negative axis when it reaches it. It continues to move upwards as <math>\varpi</math> decreases further, which produces two simple negative roots.

The behaviour of the roots of the actual dispersion relation is also shown in Figure B.1. Defining the <math>\gamma_n</math> themselves as having positive real parts (so that <math>\gamma_{-2}=\gamma_{-1}^*</math> is in the fourth quadrant for <math>\varpi>\varpi_s</math>), the two non-real roots <math>\gamma_{-1}</math> and <math>-\gamma_{-2}</math> approach the positive imaginary axis to form a pure imaginary double root as <math>\varpi\to\varpi_s</math>; two simple imaginary roots are then produced as <math>\varpi</math> becomes more negative (<math>\gamma_1</math> being the root with smaller modulus). In addition, since <math>f_0</math> is even, an equivalent process takes place in the lower half plane.

==Finite Depth Roots==
The finite depth dispersion relation for the left-hand sheet of ice is

<center><math>
f_0(\kappa)=1/\kappa\tanh\kappa-\Lambda_0(\kappa)=0,\,
</math></center>

where <math>\Lambda_0=\kappa^4+\varpi</math>. Since <math>f_0</math> is even, the negative of any zero is also a zero, and so we will only investigate the location of those on the positive real axis or with imaginary part greater than zero.

For <math>\kappa>0</math>, as <math>\kappa</math> increases from 0, <math>\coth(\kappa H)/\kappa</math> decreases from <math>+\infty</math>, while <math>\Lambda_0</math> increases from <math>\varpi</math>, so there will always be exactly one root <math>\gamma_0</math> on the positive real axis. Additional roots may be found along the imaginary axis by studying the properties of

<center><math>
p_H(w)=H^4w\sin w\times f_0(\mbox{i} w/H)=(w^4+\varpi H^4)w\sin w+H^5\cos w,
</math></center>

where <math>w=-\mbox{i}\kappa H</math>. Since <math>p(n\pi)=(-1)^nH^5</math> (<math>n=0,1,2,\ldots</math>) and is continuous for all <math>w</math>, it will always have at least one root <math>w_n</math> in each interval <math>I_n=\pi\times(n-1,n)</math> (<math>n=1,2,\ldots</math>). Moreover, the roots <math>w_n</math> must satisfy the relation

<center><math>
\tan w_n=-\frac{H^5}{(w_n^4+\varpi H^4)w_n}, \qquad (B.1)
</math></center>

so as <math>w_n</math> gets large, <math>\tan w_n\to0</math>, or equivalently <math>w_n\to n\pi^-</math> (since for large <math>w_n</math> the right hand side of Equation B.1 will be negative, even if <math>\varpi<0</math>). The error <math>\epsilon=n\pi-w_n</math> can also be estimated for large <math>w_n</math> by expanding both sides of (B.1) as Taylor series and ignoring the terms of order greater <math>\epsilon^2</math>. This gives

<center><math>\begin{matrix}
\epsilon\approx\frac{\big(\tilde\gamma_n^4+\varpi\big)|\tilde\gamma_n|}
{\big(\tilde\gamma_n^4+\varpi\big)^2|\tilde\gamma_n|^2-\big(5\tilde\gamma_n^4+\varpi\big)/H},
\end{matrix}</math></center>

where <math>\tilde\gamma_n=n\pi \mbox{i}/H</math> are the zeros of <math>\tanh\kappa</math>. For small values of <math>H</math> or large values of <math>n</math> it is clear that <math>\epsilon</math> is vanishing like <math>|\gamma_n|^{-5}</math>. Thus we can say that as <math>n\to\infty</math>, or as the water becomes shallower, the <math>w_n</math> become closer and closer to <math>n\pi</math>, and consequently that the <math>\gamma_n</math> also become closer and closer to the <math>\tilde\gamma_n</math>.

At this point we can say something about how the shallow water roots situation might arise from the finite depth one. As <math>H\to0</math>, the imaginary zeros of <math>f_0(\kappa)</math> are becoming closer and closer to the <math>\tilde\gamma_n</math> (<math>n\pi \mbox{i}/ H</math>, <math>n=1,2,\ldots</math>), which are themselves becoming infinite. If we suppose that in addition to the real root <math>\gamma_0</math> and the imaginary ones that we know about, <math>f_0(\kappa)</math> has two additional zeros <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math>, then the shallow water case could be reproduced in the limit. We might also anticipate that like their shallow-water counterparts, those roots will be complex for most periods, but may become additional imaginary roots for lower periods. It will be shown that this is indeed the case. First, however, we will prove their existence formally, and then enter into a more numerical discussion of their locations. Again, such a discussion is not particularly practical in that most of the phenomena described only occur at periods where the thin plate model might break down. Nevertheless, there are some exceptions, and the aforementioned phenomena are themselves quite fascinating.

Now, the number of zeros that a given function has in a particular region may be determined using the argument principle. [[Evans and Davies 1968]] and [[Chung and Fox 2002a]] applied that principle to effectively show that for a large enough choice of <math>N</math>, <math>p_H</math> has <math>2N+6</math> zeros inside the square with corners <math>\pm(N+\pi/4)\times(1+\mbox{i})</math>. The <math>N</math> real <math>w_n</math> and their negatives, and <math>\pm w_0</math>, which are imaginary, account for <math>2N+2</math> of these roots, leaving four still to be located. Since it is easily shown that <math>w_0</math> is a simple root (<math>f_0'(\gamma_0)<0</math>), we have verified that <math>p_H</math> must have two complex roots, <math>-w_{-2}</math> in the first quadrant, and its complex conjugate <math>w_{-1}</math>, or else two additional real roots. In that case we will distinguish between them by choosing <math>w_{-1}</math> to have a larger modulus than <math>w_{-2}</math>.

[[Figure B.2]]: Small period behaviour of the roots of the finite depth dispersion relation for ice-coupled waves, <math>f_0(\kappa)=\coth\kappa H/\kappa-\Lambda_0(\kappa)</math>, where <math>\Lambda_0(\kappa)=\kappa^4+\varpi</math>. In particular, this figure demonstrates the existence of double roots to the dispersion relation. The left hand plots show the behaviour of the function <math>\bar p_H(w)=p_H(w)/(w^5+H^5)</math> for real <math>w</math> for decreasing values of <math>\varpi</math> (shorter periods and/or larger ice thicknesses). <math>\bar p_H</math> has the same zeros as <math>p_H(w)=H^4w\sin w\times f_0(iw/H)</math> but does not grow as quickly for large <math>w</math>; if <math>w_n</math> is a root of <math>p_H</math> (or <math>\bar p_H</math>), then <math>\gamma_n=iw_n/H</math> is a root of <math>f_0</math>. Note the formation of double zeros near <math>\varpi=-1.51</math> and between <math>-60</math> and <math>-95</math>. The right hand plots show the locations of the <math>w_n</math> for the same values of <math>\varpi</math>. Arrows on two of those plots indicate the direction that the complex roots move in as <math>\varpi</math> decreases. The formation of one double zero can be seen in them also as the two complex roots shown move onto the real axis and split to form a pair of simple roots; another double root is formed as one of the newly-formed single roots reaches one of the original real roots creating another pair of complex roots. The value of the nondimensional water depth used is <math>H=1</math>.


Their locations can be narrowed down further by repeating the application of the argument principle, again following [[Chung and Fox 2002a]], but this time to the triangle with vertices 0 and <math>(N+\pi/4)\times(1\pm \mbox{i})</math> finding that <math>p_H</math> has <math>N+2</math> zeros inside that region. This implies that <math>w_{-1}</math> and <math>-w_{-2}</math> have arguments between <math>\pm\pi/4</math>. Since the <math>\gamma_n</math> are related to the <math>w_n</math> by <math>\gamma_n=iw_n/H</math>, <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> must be closer to the imaginary axis than they are to the real one.

Figure B.2 shows the behaviour of the <math>w_n</math> with decreasing period (or as <math>\varpi</math> becomes more negative) for <math>H=1</math>, and also how the shape of the <math>p_H</math> curves evolve to produce this behaviour. At <math>\varpi=-1.1</math>, <math>w_{-1}</math> and <math>-w_{-2}</math> are still complex, and the first three real roots are extremely close to the zeros of <math>\tan w</math> at <math>\pi</math>, <math>2\pi</math> and <math>3\pi.</math> However, <math>p_H</math> has a minimum only slightly above the real axis at about <math>w=0.28\pi,</math> which proceeds to become lower and lower as <math>\varpi</math> decreases past <math>-1.3</math> and <math>-1.51</math>. As this happens, <math>w_{-1}</math> and <math>-w_{-2}</math> also move closer and closer to the real axis.

When <math>\varpi</math> reaches about <math>-1.54</math>, <math>p_H</math> touches the real axis and <math>w_{-1}</math> and <math>-w_{-2}</math> meet to form a double root which quickly separates to form two real roots as <math>\varpi</math> decreases further and the minimum in <math>p_H</math> drops below the real axis. As <math>\varpi</math> sinks past <math>-8</math> and <math>-60</math>, this minimum deepens and become more symmetrical in the interval <math>I_1</math>. As this happens, <math>-w_{-2}</math> moves towards zero while <math>w_{-1}</math> moves towards <math>w_1</math> at the other end of the interval. Note that at the same time the maximum which occurs at about <math>w=3\pi/4</math> when <math>\varpi=-8</math> has also been moving to the right and moving closer to the real axis.

The maximum crosses the real line as <math>\varpi</math> decreases past <math>-85</math>, at the same time as <math>w_{-1}</math> meets <math>w_1</math> to form another double root and lift off the real axis to produce the situation shown when <math>\varpi=-95.</math> This cycle of roots moving onto and off the real axis is repeated in every interval as the period becomes shorter and shorter.

The behaviour of the complex roots described and illustrated above for <math>H=1</math> is typical for all values of <math>H</math> less than <math>H_1\approx2.40</math>. As <math>H</math> increases towards that value, the two double roots in <math>I_1</math> move closer and closer together until they meet and form a triple root. For <math>H>H_1</math> there are no multiple roots in <math>I_1</math>.

[[Figure B.3]]: Demonstration of the existence of triple roots of the finite depth dispersion relation for ice-coupled waves <math>f_0(\kappa)</math>. <math>\bar p_H(w)</math> is defined in Figure B.2; its zeros <math>w_n</math> are related to <math>\gamma_n</math>, the zeros of <math>f_0</math>, by <math>\gamma_n=iw_n/H</math>. The left hand plot shows the presence of a point of inflection in the graph of <math>p_H</math> for real <math>w</math> and for <math>\varpi=0.087</math> at one of the real <math>w_n</math>. Consequently <math>\bar p_H</math> has a triple point at that point, and <math>f_0</math> itself must have a triple root on the imaginary axis. The right hand plots show the location of the roots of <math>\bar p_H</math> for values of <math>\varpi</math> around 0.087, showing the two complex roots moving towards the real line, meeting one of the original real roots to form the triple root and immediately becoming complex again. The direction of their motion as <math>\varpi</math> decreases is indicated on the upper and lower figures. The value of the nondimensional water depth used is <math>H=2.40</math>.}


Figure B.3 shows the behaviour of the roots as <math>\varpi</math> decreases when <math>H=H_1</math>, confirming the formation of a triple root at that water depth. The left hand plot clearly shows the presence of a point of inflection when <math>\varpi\approx0.087,</math> while the series of plots on the right show the two complex roots merging with <math>w_1</math> on the real axis before immediately becoming complex again. <math>w_{-1}</math> and <math>-w_{-2}</math> will become real again when <math>\varpi\approx-6.35</math>, forming a double root in <math>I_2</math> and from there on exhibiting the same pattern as observed for <math>H=1</math>.

In order to study this phenomenon of multiple roots further, and to describe the situation for larger water depths, let us attempt to quantify how the locations of the double roots, and the values of <math>\varpi</math> at which they occur, vary as <math>H</math> changes. Suppose that an imaginary root does have multiplicity two. In that case we would have <math>f_0(\gamma_n)</math> and <math>f'_0(\gamma_n)</math> (<math>n=-1,-2</math>) both vanishing. If <math>w=-\mbox{i}\gamma_n</math>, <math>p_H(w)=p_H'(w)=0</math> and we can eliminate <math>\varpi</math> to give a relationship between <math>w</math> and <math>H</math> alone.

This is achieved by writing

<center><math>\begin{matrix}
-\varpi H^4=w^4+\frac{H^5}{w\tan{w}}=\frac{(5w^4-H^5)\tan{w}+w^5}{\tan{w}+w}, &\qquad (B.3)
\end{matrix}</math></center>

or

<center><math>\begin{matrix}
q_H(w)=2w^4(1-\cos{2w})-H^5(1+\sin{2w}/2w)=0. &\qquad (B.4)
\end{matrix}</math></center>

The zeros of this function are plotted as a function of <math>H</math> in Figure B.4<math>\it{a}</math>. The most striking feature of the curves is that each interval contains a certain extremal value of <math>H</math> at which <math>dH/dw=0.</math> Let <math>H_n</math> be the extremal value in the <math>n^{\rm th}</math> interval. If <math>H>H_n</math>, then <math>p_H</math> contains no double roots in either <math>I_n</math> itself or any of the other intervals with indices smaller than <math>n</math>. If <math>H<H_n</math>, it has two zeros in <math>I_n</math>, one corresponding to when <math>w_{-1}</math> and <math>w_{-2}</math> move onto the real axis, and the other to when they move off it. If <math>H=H_n</math> there is only one point in <math>I_n</math> at which a double root forms. Differentiating (10) with respect to <math>w</math>, it can be seen that at such points <math>q_H'(w)=q_H(w)=0</math>, and so the root <math>w</math> is actually a double root of <math>q_H</math> and is consequently a triple root of <math>p_H</math>. This was discussed above with reference to <math>H_1</math>.

The solid and chained lines in Figure B.4<math>\it{a}</math> are used to provide a correspondence between the two curves for each interval in Figure B.4<math>\it{b}</math>, which shows the values of <math>\varpi</math> at which each double root forms for a given <math>H</math>. The left hand pair of curves corresponds to <math>I_1</math>, the second pair from the left corresponds to <math>I_2</math>, and so on. Comparing the two graphs it can be seen that the root in an interval with smaller modulus always corresponds to a more positive value of <math>\varpi</math> (a larger period) than the root with larger modulus. Thus, the pattern observed in Figure B.2 can be said to be typical---the two

[[Figure B.4]]: (<math>\it{a}</math>) The first and second double root of <math>p_H(w)</math> (which correspond to simple roots of <math>q_H(w)</math>) in each interval <math>I_n</math> are plotted against the nondimensional water depth <math>H</math> as solid and chained lines respectively. (<math>w/\pi=n</math> corresponds to the greater endpoint of <math>I_n</math>, and the first root is initially defined as the closest root to zero.) Note that for small <math>H</math> there are always two double roots inside each interval but as <math>H</math> increases these roots become closer and closer together before meeting and becoming complex. Points where the solid and chained lines meet in an interval correspond to triple roots of <math>p</math> (points of inflexion for <math>p</math>); if the roots of <math>q_H(w)</math> in a given interval have become complex then that interval contains no double roots. Also note that the first double root in the first interval is well approximated for values of <math>H</math> less than about 0.5 by the dashed line, which corresponds to the point at which the complex shallow water roots become pure imaginary for that value of <math>H</math>. (<math>\it{b}</math>) plots the value of <math>\varpi</math> at which double roots occur. As in (<math>\it{a}</math>), solid lines correspond to the first double root in <math>I_n</math>, and chained lines to the second---note that the first root for a given <math>H</math> always occurs at a greater value of <math>\varpi</math> than the second. The <math>n^{\rm th}</math> curve from the left corresponds to <math>I_n</math>, while the apex of each curve corresponds to the triple root in that interval. The triple root in <math>I_1</math> occurs when <math>H=2.40</math> and <math>\varpi=0.08</math> (a wave period of 2.64s when <math>h_0=1</math>m). The dashed line plots the value of <math>\varpi</math> at which the complex shallow water roots become imaginary---again for <math>H\lesssim0.5</math>, it gives a good approximation to the point at which the first double root in the first interval occurs. For reference, dotted lines described by <math>\varpi=0</math>, <math>-0.35</math>, <math>-0.88</math>, and <math>-2.21</math> (respectively from top) are also plotted. For 1-m-thick ice these correspond to periods of 1.9s, 0.1s, 0.01s and 1ms, which implies that we really only need to allow for double roots in the first interval, or equivalently when <math>H\lesssim2.40</math>.


complex roots move onto the real axis at one point in <math>I_n</math>, and then <math>w_{-1}</math> moves to the right before meeting <math>w_n</math> to form two more complex roots.

The dashed line in Figure B.4<math>\it{a}</math> is included for interest and compares the point at which the complex shallow water roots become imaginary with the first double root in <math>I_1</math>, and provides quite a good approximation for that root for <math>H</math> less than about 0.5. Similarly, in Figure B.4<math>\it{b}</math> the dashed line corresponds to <math>\varpi_s</math> and also approximates the value of <math>\varpi</math> when the first double root forms for small water depths quite well.

The dotted lines in Figure B.4<math>\it{b}</math> are reference lines, which for 1-m-thick ice correspond to periods of 1.9s (<math>\varpi=0</math>), 0.1s (<math>\varpi=-0.35</math>), 10ms (<math>\varpi=-0.88</math>) and 1ms (<math>\varpi=-2.21</math>). They are included to give an idea of when we need to be concerned about double and triple roots when solving the dispersion relation for physical wave periods.

The latter three periods are obviously far too small for the thin plate model for the ice to hold, and so for practical purposes there is only a very small range of water depths where we actually have to worry about the complex roots becoming imaginary. In fact, if we restricted ourselves to values of <math>\varpi >\sim 0.087</math>, which for 1-m-thick ice corresponds to periods greater than about 2.64s, we could say that we need never consider them.

If we do wish to calculate results for smaller periods, however, we would need to allow for multiple roots. Fortunately, though, we would generally only need to do this for a small range of values of <math>H</math>. If our minimum period was about 1.9s, so that <math>\varpi\geq0</math>, multiple roots could only occur if <math>2.34\lesssim H\leq H_1\approx2.40</math>. (This same range would also apply if we neglected the inertia term in the Euler-Bernoulli equation, so that <math>\mu=0</math> and <math>\varpi=\lambda-\mu</math> would be positive for all periods.) The lower limit for this interval would have to be decreased to about 1.50 if we required scattering results for periods down to 0.1s. (This is the lower limit in most graphs presented in this thesis, although usually only infinite depth results are presented in which <math>H=5</math> is used if the infinite depth results are not calculated directly.)

==Infinite Depth Roots==
Letting <math>H\to\infty</math> in the finite depth dispersion relation (for real <math>k</math> and thus positive real <math>\kappa</math>) means that the dispersion relation becomes <math>f_0(\kappa)=1/\kappa-\Lambda_0</math>, which has zeros when the polynomial <math>p_\infty(\kappa)=-\kappa f_0(\kappa)=\kappa^5+\varpi\kappa-1</math> does. The roots of this equation were presented for cases equivalent to <math>\varpi>0</math> by [[Squire and Dixon 2000]]. Figure B.5 reproduces their figure.

[[Figure B.5]] Schematic diagram showing the possible locations of the roots of the infinite depth dispersion relation <math>1/\kappa-\kappa^4-\varpi=0</math> for positive values of the parameter <math>\varpi</math>. There is one positive real root <math>\gamma_0</math> (indicated by a circle), and four complex roots (indicated by crosses). The complex roots consist of two complex conjugate pairs, <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> in the right hand half plane (<math>\gamma_{-1}</math> is in the first quadrant), and <math>\gamma_1</math> and <math>\gamma_2</math> in the left hand half plane (<math>\gamma_1</math> is in the second quadrant). The shaded regions show the possible range of arguments that the complex roots may take for <math>\varpi>0</math>: <math>\pi/4<|Arg[\gamma_j|\leq2\pi/5</math> for <math>j=-1,-2</math>, and <math>3\pi/4<|Arg[\gamma_j|\leq4\pi/5</math>  for <math>j=1,2</math>. As <math>\varpi</math> becomes negative <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> move towards the imaginary axis, while <math>\gamma_1</math> and <math>\gamma_2</math> move towards and eventually onto the negative real axis.


The bounds shown for the arguments of the complex roots may be deduced by considering the limits as <math>\varpi\to0</math> and <math>\varpi\to\infty</math>. In the former case the roots satisfy <math>\kappa^5-1=0</math>; in the latter the transformed roots <math>\bar\kappa=\kappa/|\varpi|^{1/4}</math> satisfy <math>\bar\kappa^5+\bar\kappa=\epsilon</math>, where <math>\epsilon=|\varpi|^{-5/4}\to0</math>. Thus, as <math>\varpi</math> decreases from <math>\infty</math> to 0, <math>\gamma_{-1}</math> moves from the line <math>Arg[\kappa]=\pi/4</math> to <math>Arg[\kappa]=2\pi/5</math>, while <math>\gamma_1</math> travels from the line <math>Arg[\kappa]=3\pi/4</math> to <math>Arg[\kappa]=4\pi/5.</math> <math>\gamma_0</math> is asymptotically zero for large <math>\varpi</math>, and it increases to 1 as <math>\varpi</math> decreases to 0. Also note that <math>|\gamma_j|\to\infty</math> for <math>j\neq0</math> as <math>\varpi\to\infty</math>.

In this section, we demonstrate the behaviour of the infinite depth roots as <math>\varpi</math> becomes more negative. In particular, we will show that the complex roots <math>\gamma_1</math> and <math>\gamma_2</math> actually move onto the negative real line when <math>\varpi</math> becomes less than or equal to <math>\varpi_\infty=-5/4^{4/5}\approx-1.65,</math> a proposition which follows easily by noting that <math>p_\infty</math> and its derivative <math>p_\infty'(\kappa)=5\kappa^4+\varpi</math> are simultaneously zero when <math>\kappa=\kappa_\infty=-1/4^{1/5}</math> and <math>\varpi=\varpi_\infty</math>.

Figure B.6 plots the positions of the infinite depth roots for three different values of <math>\varpi</math>: (<math>\it{a}</math>) <math>\varpi_\infty/2</math>, (<math>\it{b}</math>) <math>\varpi_\infty</math> and (\itc) <math>2\varpi_\infty</math>. It shows that a double root does indeed exist when <math>\varpi=\varpi_\infty</math>, and that it forms in the same way that the double roots of the shallow water and finite depth dispersion relations form on the imaginary axis. In this case <math>\gamma_1</math> and <math>\gamma_2</math> merge on the real axis, and separate again to form two simple zeros as <math>\varpi</math> decreases. The more negative root, which we shall define as <math>\gamma_2</math>, becomes increasingly more negative as <math>\varpi</math> decreases further, while the other root <math>\gamma_1</math> increases towards 0. It also shows <math>\gamma_0</math> getting larger, as do <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> as they move towards the imaginary axis.

The behaviour of all the roots as <math>\varpi\to-\infty</math> may be shown formally by considering the same transformation that we used when considering their behaviour when <math>\varpi\to\infty</math>. For large, negative <math>\varpi</math> the roots satisfy <math>\bar\kappa^5-\bar\kappa=\epsilon</math>. Thus, in agreement with the results observed in Figure B.6, four roots become infinitely large---two, <math>\gamma_0</math> and <math>\gamma_2</math> travelling on the real axis towards <math>\pm\infty</math>, while another two, <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> travel asympotically towards <math>\pm \mbox{i}\infty</math>. <math>\gamma_1</math> continues to move along the negative real axis towards <math>0</math>, also in agreement with the figure.

[[Figure B.6]]: Small period behaviour of the roots of the infinite depth dispersion relation for ice-coupled waves. Demonstration of the existence of negative real roots to the infinite depth dispersion relation for ice-coupled waves. The figures show the location of the roots of the infinite depth dispersion relation when <math>\varpi</math> takes values of (<math>\it{a}</math>) <math>\varpi=\varpi_\infty/2</math>, (<math>\it{b}</math>) <math>\varpi=\varpi_\infty</math>, and (\itc) <math>\varpi=2\varpi_\infty</math>. Note that the two roots in the left hand half plane move onto the real axis to form one double root as <math>\varpi\to\varpi^+_\infty</math>, before separating to form two simple roots---one of which becomes more negative while the other moves towards zero. Their direction of motion as <math>\varpi</math> becomes more negative is indicated with arrows on the left hand and right hand figures. The complex roots in the right hand half plane move asymptotically towards the imaginary axis as <math>\varpi</math> decreases, with increasing modulus.


That <math>\gamma_{-1}</math> and <math>\gamma_{-2}</math> become closer and closer to the imaginary as <math>\varpi\to-\infty</math> might have been expected from the behaviour of the finite depth roots for small periods, but the behaviour of <math>\gamma_1</math> and <math>\gamma_2</math> could not have been guessed by considering the finite depth dispersion relation alone. In particular, the loss in symmetry of the roots is quite unexpected. However, we can start to recover the lost roots in the left hand half plane by noting that <math>\tanh\kappa\to-1</math> for <math>\mbox{e}[\kappa]<0</math> as <math>H\to\infty</math>, which means that they will become the solutions to <math>q_\infty=-p_\infty(-\kappa)=\Lambda\kappa+1=0</math>, not the roots of <math>p_\infty</math> itself. The remaining roots of both <math>p_\infty</math> and <math>q_\infty</math> can be recovered from the finite depth situation by also considering the equation <math>\Lambda\kappa\tanh\kappa+1=0</math>. (The finite depth dispersion relation rearranges to <math>\Lambda\kappa\tanh\kappa-1=0</math>.) This equation still has infinitely many imaginary roots, but instead of having three roots in the left hand half plane it only has two, which become the infinite depth roots <math>\gamma_1</math> and <math>\gamma_2</math> as <math>H\to\infty</math>.  Moreover, these two roots also move onto the real axis when <math>\varpi</math> takes a certain negative value (depending on <math>H</math>), which explains the surprising behaviour of the aforementioned infinite depth roots.

Referring to equations (3.17) and (3.18), the presence of two additional real roots complicates the calculation of <math>g_0</math> and <math>g_1</math>, as it introduces four additional real poles into those transforms as they are written. These poles could be dealt with in the same way as the poles at <math>k=\pm\alpha_0</math> were. However, since values of <math>\varpi<\varpi_\infty</math> only correspond to periods below about 2.1ms (for 1-m-thick ice), it was not considered worthwhile to calculate <math>g</math> for such values.


[[Reflections on Ice]]