GAsahi said:
Length contraction is a function of relative speed. Both astronauts measure each other as being contracted by the same amount, \sqrt{1-(v/c)^2}.
One can include acceleration in a "special relativity" type theory merely by differentiating the equations of the Lorentz transformation with time. This mathematical approach could also be considered "general relativity" rather than "special relativity". However, this would be semantics.
To some scientists, general relativity is special relativity after the the equivalence principle is hypothesized. To other scientists, general relativity is special relativity with any term for acceleration. Regardless, acceleration can be incorporated into the Lorentz transformation merely by differentiating the equations.
One physical interpretation of this mathematical approach is to hypothesize that a physical reset of the clocks in a frame of reference can't occur while an external force is being applied to the clocks. This physical assumption leads to the asymmetry of observers in accelerating (i.e., noninertial) frames.
Let me apply this idea to length contraction/ length dilation. The Lorentz transformation of the x coordinate between two inertial frames (S and S') is"
x'=(x-vt)/√(1-v^2/c^2)
t'=(t+vx/c^2)/√(1-v^2/c^2)
where v is the S' frame relative to the S frame, c is the speed of light in a vacuum, etc. Differentiating of these two equation will explain most of the apparent "asymmetries" in special relativity. One can use this approach to explain how a time dilation with acceleration becomes a time contraction. However, I will try to explain the question being asked by the OP>
I am doing this off the cuff, without any proofing or editing. Feel free to find my mistakes, if any. I once did this before, but I may have forgotten some of it. The important thing is that in the "twin" conundrum, if a<0 and v> 0, then dx'/dx>0. A large acceleration toward Earth makes the effect into a "length dilation" rather than a "length contraction".
Now S' will be considered the accelerated frame and S will remain an inertial frame. Physically, this corresponds to applying an external force on the observer in the S' frame. Therefore, both sides of the equation will be differentiated by x. The relativistic length correction, with both general and special relativity taken care of, is dx'/dx.
1) dx'/dx=(1-tdv/dx-vdt/dx)/√(1-v^2/c^2)-(dv/dx)(v/c^2)(x-vt)/(√(1-v^2/c^2))^3
Chain rule (Calculus)
2) dv/dx=(dv/dt)(dt/dx)=a/v
where a is the acceleration. Also, by definition of velocity.
3) dt/dx=1/v.
Substitute 2 and 3 into 1:
4) dx'/dx=(-ta/v){1/√(1-v^2/c^2)}{1-(2v/c^2)(x-vt)/(1-v^2/c^2)}
where a is the dynamic acceleration. In other words, set
5)a=F/m
where F is the external force on the observer in the S' frame, and m is the mass of that observer.
Let us consider the case of the where the "space ship" is turning around, so that x=vt and a<0. If x=vt is substituted into equation 4:
6) dx'/dx=-(ta/v)/√(1-v^2/c^2)
Since a<0 and v>0.
7) dx'/dx>0.
When the twin starts his turn around, with a large acceleration, he sees his Earth twin stretched out rather than contracted.
Not that the asymmetry comes about not due to the kinematics, but due to the dynamics. The asymmetry in the problem comes in equation 5. For the accelerating twin, in the rocket, the external force is nonzero (i.e., F>0). However, the "earth" twin who isn't in the rocket experiences a zero external force (i.e., F=0).
The external force prevents the clocks from resetting. With that extra hypothesis, special relativity becomes self consistent. Note: there is no way to resolve the asymmetries in special relativity without some extra hypothesis. There is no way to make special relativity "self consistent" with acceleration unless one in some manner takes into account the forces that move the observer.
I like the force hypothesis (equation 5) because it is easy to analyze. What I do when I start a special relativity problem is draw the force diagram on the hypothetical observer for each part of the trip. I let F be the total external force on whatever observer I am analyzing. I differentiate the Lorentz transformations, apply simple calculus, substitute equation 5 into the differentiated equations and then analyze what happens.
Try it with dt'/dt. You will see how the "twin paradox" is not a paradox.