Plot of a 4-fold equilibrium shape of an elastic ring with lines of contact

Contents of this notebook :
Part I. Definitions
Part II. Scale reduction and determination of the contact values of the parameters q, η and s1 for the ring of the reduced length
Part III. Plot of the equilibrium shape with lines of contact
Part IV. Confirmation of the contact conditions and the length

Part I. Definitions

Definitions from Section 5. Analytic expressions for the ring curvatures and slope angles

μ=(1/4) ((α^2)+(β^2)+(γ^2)+α β+α γ+β γ);

γ=-((α+β)/2)+I η ;

λ=(1/4)(Sqrt[A B]); k= (1/2)-((4 (η^2)+(3 α+β) (α+3 β))/(2 A B));

A= (Sqrt[4 (η^2)+(((3 α+β))^2)]); B= (Sqrt[4 (η^2)+ (((α+3 β))^2)]) ;

T=(4/λ)  EllipticK[k];

New parametrization -- formula (44)

α=((4 σ)/((η^2)+(q^2)))-q; β=((4 σ)/((η^2)+(q^2)))+q;

Input data (contact pressure (Subscript[σ, cn])=51.844)

σ=120;

Part II. Scale reduction and determination of the contact values of the parameters q, η and s1 for the ring of the reduced length

The contact parameters for a ring of length 2π
 (These can be determined using the notebook Contact.nb. Here, 150-digit precision is used to ensure sufficient accuracy of the computations.)

σ4cn= 51.84351970683542835746015971086148838221035638719338711424840231384988400752803116822933519799308578373031736376552828879669005508922067243624976811914643722502757967`150.;

q4cn=7.15803706004491695550004327219162076886518516788848256287088256192202030429045309695589506729822077963914383028724275776546134839935912293953621753576878237258549728`150.;

η4cn=5.97943418091639316742364800661080623439649136662039411969942384221297287765270238884005173382289224184097256223956951601450986356325507820420802407903332076122135919`150.;

s14cn =0.1787115553507588489463975661096375999060612666365582005515677102804689172668604325769707468731936580187620435601541859995740809123556050676918564833059897667615144;

Scalling

f=(((((σ4cn)/σ)))^(1/3));

q=q4cn/f; η=η4cn/f; s1 = s14cn f;

Part III. Plot of the equilibrium shape with lines of contact

Expressions for the curvature (38), its derivative and the slope angle (39)

κ[s_]=(((A β+B α)-(A β-B α) JacobiCN[s λ,k])/((A+B)-(A-B) JacobiCN[s λ,k]));

κ1[s_]=(∂_s) κ[s];

∅[s_]= ((A β-B α)/(A-B)) s+(((A+B) (α-β))/(2 λ (A-B))) EllipticPi[-((((A-B))^2)/(4 A B)),JacobiAmplitude[s λ,k],k]+((α-β)/(2 λ (Sqrt[k+((((A-B))^2)/(4 A B))])))  ArcTan[(Sqrt[k+((((A-B))^2)/(4 A B))])((JacobiSN[s λ,k])/(JacobiDN[s λ,k]))];

Parametric equations (25)

X[s_]=(1/σ) κ1[s] Cos[∅[s]]+(( ((κ[s])^2)-2 μ)/(2 σ)) Sin[∅[s]];

Y[s_]=(1/σ) κ1[s] Sin[∅[s]]-(( ((κ[s])^2)-2 μ)/(2 σ)) Cos[∅[s]];

Plot

Calculation of the total length LL of all line segments

LL=((2 π)/4)(1-f);

Plots of the parts of the ring shape

F1 = ParametricPlot[{{X[s], Y[s]}, {X[s + T], Y[s + T]}, {X[s + 2 T], Y[s + 2 T]}, {X[s + 3 T], Y[s + 3 T]}}, {s, 0, s1}, AspectRatio -> Automatic, Axes -> False, PlotStyle->{{Black,Thick},{Black,Thick}, {Black,Thick}, {Black,Thick}}];

s2=T-s1;

F2 = ParametricPlot[{{X[s], Y[s]}, {X[s + T], Y[s + T]}, {X[s + 2 T], Y[s + 2 T]}, {X[s + 3 T], Y[s + 3 T]}}, {s, s2, T}, AspectRatio -> Automatic, Axes -> False, PlotStyle->{{Black,Thick},{Black,Thick}, {Black,Thick}, {Black,Thick}}];

ξ1=(Sqrt[1+(LL/(Sqrt[((X[s1])^2)+((Y[s1])^2)]))]);

FL=ParametricPlot[{{X[s1] ξ,Y[s1] ξ},{X[s1+T] ξ,Y[s1+T] ξ},{X[s1+2 T] ξ,Y[s1+2 T] ξ},{X[s1+3 T] ξ,Y[s1+3 T] ξ}}, {ξ,1,ξ1},AspectRatio->Automatic, Axes -> False,PlotStyle->{{Black,Thick},{Black,Thick}, {Black,Thick}, {Black,Thick}}];

F3=ParametricPlot[{{(ξ1-1)  X[s1]+ X[s],(ξ1-1) Y[s1]+Y[s]},{(ξ1-1)  X[s1+T]+ X[s+T],(ξ1-1) Y[s1+T]+Y[s+T]},{(ξ1-1)  X[s1+2 T]+ X[s+2 T],(ξ1-1) Y[s1+2 T]+Y[s+2 T]},{(ξ1-1)  X[s1+3 T]+ X[s+3 T],(ξ1-1) Y[s1+3 T]+Y[s+3 T]}},{s,s1,s2},AspectRatio->Automatic, Axes -> False,PlotStyle->{{Black,Thick},{Black,Thick}, {Black,Thick}, {Black,Thick}}];

Combination of these plots gives the ring shape with lines of contact

FC=Show[F3, F1, F2,FL]

Part IV. Confirmation of the contact conditions and the length

N[(((A+B) (α-β))/(2 λ (A-B))) EllipticPi[-((((A-B))^2)/(4 A B)),k]+((A β-B α)/(λ (A-B))) EllipticK[k]-(π/(2 4))]

N[(T/4)-(π/(2 4)) f]

N[∅[s1]-((( π)/4)-(( π)/2))]

N[4 T+4 LL-2 π]