1 Introduction

In this paper we will discuss some axisymmetric stress analysis problems where there is contact along an inner region of a cylindrical boundary and hence result in mixed boundary conditions (which might be non-linear) on the inner boundary wall. The unmixed problem of a stress condition applied to the exterior wall of a finite cylinder was considered long ago by Tranter and Craggs [1] . For the current analysis the boundary might be the interior of a wellbore where for example packers (inflatable balloons made from elastomers reinforced by cords) are used by the oil industry for sealing an interval along the wellbore. This might be used for open hole stress tests to be performed. Such stress tests require that the pressure exerted by the packer on the formation needs to be as close as possible to the pressure in the interval to avoid fracture initiation or fracture growth along the packers. In addition axial tension in the rock needs to be kept to a minimum to avoid initiation of transverse fractures at the packer level. This is discussed in Atkinson et al. [2] where the borehole is considered to be rigid as far as the packer shape is concerned. As the pressure inside the packer increases, the balloon expands to flatten against the wall and the extra pressure beyond the touch pressure will cause stresses in the formation. The packer deformation is quite complicated as it flattens against the wall and is based on a theory due to Kydoniefs [3] and implemented by Atkinson and Peltier [4] who were also interested in the design of a reinforced packer. In this rock mechanics application the stress analysis reduces to a stress boundary condition on the wellbore which can be treated by Fourier transforming the boundary even if the rock were considered to be poroelastic. This stress analysis was also compared to finite element and various cases considered , including dual packer arrangements and different slip conditions at the wall. The lack of a displacement condition at the borehole wall and the approximation of a rigid boundary as a boundary condition for the expanding packer is accurate as far as this application is concerned. There are, of course, many other applications of the mechanics of poroelastic media, a recent example is Selvadurai and Suvorov [5]. However there are also many other situations where the expanding object has a more complicated interaction with a boundary region for example balloon angioplasty such as modelled by Eftaxiopoulos and Atkinson [6]. We use this as motivation to consider axisymmetric boundaries where the boundary conditions are mixed, i.e. stress boundary conditions in one region and displacement conditions in another. We also consider briefly a generalisation to more complicated conditions. We return to these problems later.

2 Specified displacement over a region

We begin by discussing the situation where a plug is effected in a wellbore by first placing it at a given location and then thermally expanding it into the casing by first melting the plug and subsequently merging into the metal casing or in principle into the rock if the wellbore were uncased (see e.g. Fig. 1).

Fig. 1
figure 1

Model reduction framework

We will assume here that the effect of this expansion is to cause a fixed displacement on a region of the casing and we will explore the consequent stress fields produced in the casing. One subsequent question to ask is how effective this plug will be in closing off the well. A key physical parameter here is the friction formed between the plug and the casing and this ought perhaps to be determined by some kind of pull-out test. Assuming we have a sensible value for this parameter, our analysis will give a connection between the size of the expanded plug and its expanded radius versus the cased wellbore radius (i.e. the displacement into the casing/rock) together with the pressure differential such a plug might be expected to withstand. In principle our theory (or a slightly more complicated one) could give an idea of where associated fractures may occur in the formation. We do make the simplifying assumption that the geometry is axisymmetric which is a reasonable starting assumption. We take the x coordinate to be in the axial direction and r to be the radial coordinate and then write the equations in terms of Love’s stress function \( \varphi (r,x) \) (Love [7]) which is to satisfy the differential equation

$$\begin{aligned} \Delta ^2 \varphi (r,x)=\left( \frac{\partial ^2}{\partial r ^2} +\frac{1}{r} \frac{\partial }{\partial r} +\frac{\partial ^2}{\partial x ^2}\right) ^2 \varphi (r,x)=0, \end{aligned}$$
(1)

where

$$\begin{aligned} \Delta =\frac{\partial ^2}{\partial r ^2} +\frac{1}{r} \frac{\partial }{\partial r} +\frac{\partial ^2}{\partial x ^2}, \end{aligned}$$
(2)

and

$$\begin{aligned} \sigma _r= & {} \frac{\partial }{\partial x}\left[ \nu \Delta -\frac{\partial ^2}{\partial r ^2}\right] \varphi (r,x), \end{aligned}$$
(3)
$$\begin{aligned} \sigma _x= & {} \frac{\partial }{\partial x}\left[ (2-\nu )\Delta -\frac{\partial ^2}{\partial x ^2}\right] \varphi (r,x), \end{aligned}$$
(4)
$$\begin{aligned} \sigma _\vartheta= & {} \frac{\partial }{\partial x}\left[ \nu \Delta -\frac{1}{r}\frac{\partial }{\partial r }\right] \varphi (r,x), \end{aligned}$$
(5)
$$\begin{aligned} \sigma _{rx}= & {} \frac{\partial }{\partial r}\left[ (1-\nu )\Delta -\frac{\partial ^2}{\partial x ^2}\right] \varphi (r,x), \end{aligned}$$
(6)

where \(\nu \) denotes Poisson’s ratio and \(\theta \) is the azimuthal angle. The radial and axial displacements appear as

$$\begin{aligned} u= & {} -\frac{(1+\nu )}{E}\frac{\partial ^2}{\partial r \partial x}\varphi (r,x), \end{aligned}$$
(7)
$$\begin{aligned} v= & {} \frac{(1+\nu )}{E}\left[ (1-2 \nu )\Delta +\frac{\partial ^2}{\partial r ^2}+ \frac{1}{r}\frac{\partial }{\partial r }\right] \varphi (r,x). \end{aligned}$$
(8)

We need to solve these equations with the appropriate boundary conditions on the wellbore wall which for the cased hole is the inside of the casing. We treat the simplest case here although the methods we use can be adapted to more complicated cases at the expense of some algebra. The first major approximation is to treat the casing and the rock as one homogenised medium which means the moduli of this medium are somewhere between that of steel and rock. As discussed above, we could allow for a radial extent of casing and an infinite extent of rock without a major change in our method although it would be algebraically much more complicated and involve more physical parameters. We will discuss in Appendix how we might choose our homogenised medium. We solve Eq. (1) by taking a Fourier transform over x as

$$\begin{aligned} \Phi (r,\zeta )=\int _{-\infty }^{\infty }\exp (\text {i} \zeta x)\varphi (r,x)\text {d}x. \end{aligned}$$
(9)

The solution which tends to zero as r tends to infinity can be written as

$$\begin{aligned} \Phi (r,\zeta )=A_1(\zeta )K_0( |\zeta | r)+A_2(\zeta )|\zeta | r K_1( |\zeta | r), \end{aligned}$$
(10)

where \(K_0\) and \(K_1\) are Bessel functions. Applying the Fourier transform to the stress and displacement equations gives

$$\begin{aligned} \Sigma _r= & {} \text {i} \zeta ^3\left[ A_1 \left( K_0 +K_1/r_1\right) -A_2\left( (1-2 \nu )K_0-r_1 K_1\right) \right] , \end{aligned}$$
(11)
$$\begin{aligned} \Sigma _{rx}= & {} |\zeta |^3\left[ - A_1 K_1+A_2\left( (2-2 \nu )K_1-r_1 K_0\right) \right] , \end{aligned}$$
(12)
$$\begin{aligned} \Sigma _\vartheta= & {} -\text {i} \zeta ^3\left[ A_1 \frac{K_1}{r_1}+A_2(1-2 \nu )K_0\right] , \end{aligned}$$
(13)
$$\begin{aligned} \Sigma _x= & {} -\text {i} \zeta ^3[ A_1 K_0 -A_2(2(2- \nu )K_0-r_1 K_1)], \end{aligned}$$
(14)
$$\begin{aligned} U= & {} \frac{1+\nu }{E}\text {i} \zeta |\zeta |\left[ - A_1 K_1 -A_2r_1 K_0\right] , \end{aligned}$$
(15)
$$\begin{aligned} V= & {} \frac{1+\nu }{E} \zeta ^2\left[ A_1 K_0 -A_2(4(1- \nu )K_0-r_1 K_1)\right] . \end{aligned}$$
(16)

In the above equations capital letters are used to designate the Fourier transform of the appropriate stresses and displacements, the argument of the Bessel functions being \(r_1=r |\zeta | \). We proceed to find a Green’s function which satisfies the boundary conditions on the wellbore wall which is at \(r=a\). These conditions are

$$\begin{aligned} \sigma _{rx}=0, \end{aligned}$$
(17)

on \(r=a\) for all x and

$$\begin{aligned} \sigma _r = \delta (x), \end{aligned}$$
(18)

on \(r = a\) for all x. Thus the Fourier transformed boundary conditions become

$$\begin{aligned} \Sigma _{rx}=0, \quad \Sigma _r=1, \end{aligned}$$
(19)

on \(r=a\). The arguments of the Bessel functions are thus \(r_1=a |\zeta |\) for these boundary conditions. We thus have to solve the following equation for \(A_1\) and \(A_2\),

$$\begin{aligned} - A_1 K_1(r_1)+A_2\left( (2-2 \nu )K_1(r_1)-r_1 K_0(r_1)\right) =0. \end{aligned}$$
(20)

Solving this equation gives with \(r_1=a |\zeta | \)

$$\begin{aligned} A_1=A_2\left[ (2-2 \nu )-a |\zeta |\frac{K_0(a |\zeta |)}{K_1(a |\zeta )|)}\right] , \end{aligned}$$
(21)

which when substituted into

$$\begin{aligned} \text {i} \zeta ^3\left[ A_1 \left( K_0(r_1) +\frac{K_1(r_1)}{r_1}\right) -A_2\left( (1-2 \nu )K_0(r_1)-r_1 K_1(r_1)\right) \right] =1, \end{aligned}$$
(22)

gives \(A_2\),

$$\begin{aligned} A_2=\frac{{\text {i}} a K_1(a |\zeta |)}{\zeta |\zeta |}\frac{1}{[(a \zeta )^2\left( K_0(a |\zeta |)^2-K_1(a |\zeta )|)^2\right) -2(1-\nu )K_1(a |\zeta |)^2]}. \end{aligned}$$
(23)

Note that \(A_2\) is odd in \(\zeta \) and hence so is \(A_1\). Once \(A_1\) and \(A_2\) are found from these equations, it is straightforward to evaluate

$$\begin{aligned} U(r,\zeta )=\frac{1+\nu }{E}\text {i} \zeta |\zeta |\left[ - A_1 K_1(r_1) -A_2 r_1 K_0(r_1)\right] , \end{aligned}$$
(24)

which becomes on \(r=a\),

$$\begin{aligned} U(a,\zeta )=2 a \frac{(1-\nu ^2)}{E}\frac{K_1(a |\zeta |)^2}{[(a \zeta )^2(K_0(a |\zeta |)^2-K_1(a |\zeta )|)^2)-2(1-\nu )K_1(a |\zeta |)^2]}. \end{aligned}$$
(25)

This is the Fourier transform of the radial displacement anywhere and in particular on the casing boundary \(r=a\), i.e. \(r_1=|\zeta | a\). Inverting thus gives

$$\begin{aligned} u(r,x)=\frac{1}{2 \pi }\int _{-\infty }^{\infty }\exp (-\text {i} \zeta x)U(r,\zeta )\text {d}\zeta . \end{aligned}$$
(26)

We note that \( U(r,\zeta )\) is an even function of \(\zeta \) because of the properties of \(A_1\) and \(A_2\). This Green’s function was generated by a delta function loading at \(x=0\). We now move the origin to \(x=x'\) and multiply by an unknown radial stress \(\sigma _r(a,x')\). Finally we get the integral representation

$$\begin{aligned} u(r,x)=\int _{-l}^{l} \sigma _r(a,x')\left( \frac{1}{2 \pi }\int _{-\infty }^{\infty }\exp (-\text {i} \zeta (x-x'))U(r,\zeta )\text {d}\zeta \right) \text {d}x'. \end{aligned}$$
(27)

We integrate over \(x'\) from \(-l\) to 1 since we designate this as the contact region. The expression \( \sigma _r(a,x')\) is still unknown and must be determined from the integral equation which follows from setting u(ax) equal to the contact displacement due to the expansion into the casing. This contact takes place over the region \(-l<x<l\) at \(r=a\). Once we have solved this integral equation for the unknown contact stresses, we can evaluate the stress and displacement fields everywhere. Because \( U(r,\zeta )\) is an even function of \(\zeta \), we can simplify the above integral representation as

$$\begin{aligned} u(r,x)=\int _{-l}^{l} \sigma _r(a,x')\left( \frac{1}{ \pi }\int _{0}^{\infty }\cos ( \zeta (x-x'))U(r,\zeta )\text {d}\zeta \right) \text {d}x'. \end{aligned}$$
(28)

We also anticipate that both u(rx) and \(\sigma _r(a,x)\) will be even functions of x which will simplify the integral representation further. Although our method can deal with more complicated displacements in the contact region, we assume \(u(a,x)=u_0\) a constant for \(-l<x<l\) and approximate the normal stress variation by

$$\begin{aligned} \sigma _r(a,x)=B/\surd (l^2-x^2). \end{aligned}$$
(29)

Note that this stress field is singular near the ends of the contact region. This can be shown to be a consequence of the contact boundary conditions and would also appear if we solved the integral equation numerically for all but special contact boundary conditions designed to remove this singularity. Arguments to support this contention can be made by approaching closely the ends of the contact region and scaling coordinates so that close to each end it looks locally plane. Alternatively note that \(\int _{0}^{\infty }\cos ( \zeta x)(Si(\zeta )/\zeta )\text {d}\zeta \) is proportional to log(x) as x tends to zero and the ratio \((Si(\zeta )/\zeta )/U(r,\zeta )\) is finite as \(\zeta \) tends to infinity so we can infer that the integral equation over \(x'\) has a dominant logarithmic singularity hence the assumed form \(\sigma _r(a,x)=B/\surd (l^2-x^2)\). This is not our main concern here because we are interested in the average stress due to the contact conditions. Changing the order of integration the integral equation now becomes

$$\begin{aligned} u_0=\frac{1}{ \pi }\int _{0}^{\infty }U(a,\zeta )\left( \int _{-l}^{l} \sigma _r(a,x')\cos ( \zeta (x-x'))\text {d}x'\right) \text {d}\zeta , \end{aligned}$$
(30)

and using the above expression for \(\sigma _r(a,x)\) it is convenient to use the substitutions \(x=l \cos (t)\) and \(x'= l \cos (t')\) and integrate over t and \(t'\) from zero to \(\pi \). Thus the integral equation is satisfied approximately. A numerical method using Tshebychev polynomials could have been used here but is not essential for our purpose. We find

$$\begin{aligned} u_0= B\int _{0}^{\infty }U(a,\zeta ) J_0(l\zeta )^2\text {d}\zeta . \end{aligned}$$
(31)

Finally if we substitute \(l \zeta = \zeta _1\) in the above integral we see that B is proportional to \((2 l u_0 E)/(2 a (1-\nu ^2))\) and inversely proportional to an integral which is weakly dependent on \(\nu \) and depends strongly on a / l.

3 A simple force balance for plug placement

From the above analysis we have calculated the compressive contact stress \(\sigma _r(a,x)\) on the wall due to the plug expanding into it. This average stress (force per unit area) is just \((B \pi )/(2l)\). To estimate the resistance to movement of the plug due to the differential pressure from bottom to top of the plug, we need some knowledge of the friction coefficient of the bond between the expanded plug and the wall (whether it be casing or rock). This could perhaps be obtained by an appropriate pull-out test. If we assume this is known and we call it \(\eta \), then the net resistance to movement due to this friction is \(\eta (B\pi ) (2\pi a ) \) where a and 2l are the actual radius of the wellbore and length of the contact region. This has to be balanced with the force trying to move the plug which will be \((P_2-P_1 )\pi a^2\) where \(P_2-P_1\) is the difference in pressure between the bottom and top of the plug. Balancing these forces and substituting for B gives

$$\begin{aligned} \frac{2\pi E \eta }{(1-\nu ^2)} \frac{u_0}{a}\ge (P_2-P_1)I , \end{aligned}$$
(32)

where I is given by

$$\begin{aligned} I=-\int _{0}^{\infty } \frac{a_1 J_0(\zeta )^2 K_1(a_1 |\zeta |)^2}{[(a_1 \zeta )^2(K_0(a_1 |\zeta |)^2-K_1(a_1 |\zeta )|)^2)-2(1-\nu )K_1(a_1 |\zeta |)^2]}\text {d}\zeta , \end{aligned}$$
(33)

with \(a_1=a/l\). When one plots the integral I against \(a_1\), we see as might be expected that it increases as \(a_1\) increases implying that the effect of the differential pressure decreases as the ratio of contact length to radius increases. In Eq. (32) E is an effective medium value of Young’s modulus taking into account the casing thickness. Obviously this lies between the Young’s modulus of the casing and that of the rock. An expression for an effective shear modulus is given in Appendix. Also the correct casing geometry case can be evaluated by the methods of this note but is algebraically more complicated, where \(u_0/a\) is the dimensionless expansion into the casing, and the major unknown is \(\eta \) the friction coefficient. The detailed stress field could also be evaluated if required. Furthermore the analysis can be extended to multiple contact regions in a straightforward way.

4 ‘Soft’ contact problems and displacement-dependent surface interactions

Some years ago Atkinson [8] considered displacement in a penny-shaped crack under displacement-dependent internal stresses, and the result was a non-linear integral equation which was treated numerically. In that work the motivation was that fibres might bridge the crack and give rise to a crack boundary condition that relates the stress on the crack faces to the crack opening that represents the bridging action of the fibres as the crack opens. However the method proposed was designed to apply to any non-linear boundary condition acting on the crack faces. There are of course many other situations that could give rise to a non-linear boundary condition. Hughes and White [9] have derived non-linear integral equations over a flat surface as a model of a ‘soft’ contact theory in colloid science. Here we could consider the effect of such boundary conditions in the contact region by means of specifying \(\sigma _r(a,x)\) as a known function of u(ax) for \(-\,l<x<l\). Using this in Eq. (28) when \( r=a \) gives a non-linear integral equation for the displacement u(ax) over the contact region which could also be treated by the methods used by Hughes and White.