Tuesday, April 12, 2016

geometry - Minimize area swept by connected segments



Some background to this problem:
Some baths can be remade into showers by pulling on two glass panels. Since my glass panels have high friction with the floor, I would like to sweep as small area as possible while extending them whenever I want to take a shower. I think it can be used also while trying to asses minimal space required for robotic arm to extend properly.




More formally if we look at the situation from above we have two segments of length 1. First one is connected to the origin and the second one is connected to the second endpoint of the first one. At the start they are folded such that first segment goes from [0,0] to [0,1] and the second one goes from [0,1] to [0,0]. Then after extending first segment should go from [0,0] to [1,0] and second segment from [1,0] to [2,0]. Extension is any continuous movement of the two segments.





Swept area is total area which have the two segments covered and we count each crossed point exactly once, so in my example if we had kept point D on x axis and just pulled it to [2,0] the total swept area would be the black region.



Now comes the question: What is the minimal area one can sweep while extending the segments?



Also how big is swept area from my example? Rules for my example are that point D (endpoint of second segment) always stays on the x axis and we just pull it along creating many equilateral triangles in the process.
There is also a more general version, where we have 1000 segments where ones with odd number go from [0,0] to [0,1] and ones with even number go the other way around. Notice that my example works also for arbitrary number of segments, since we can just unravel the segments in pairs and pushing those already unraveled along the x axis, giving the same area overall.



Answer



Thanks for this fun question. Partial solution: I worked out the area swept out in your example--I think the answer is 5π/16 (though I may have easily made a mistake).



Let ψ[0,π/2] denote the angle between the line segment AC and the x axis. The area we seek is the integral of some function f:[0,2]R (illustrated in your figure). I worked out a precise form for f as follows: feach angle ψ[0,π/2], defines a unique hat function (the line segment ACD) given by
hψ(x)={tan(ψ)x,x[0,cos(ψ)],tan(ψ)x+2sin(ψ),x[cos(ψ),2cos(ψ)],



and 0 outside the interval [0,2cos(ψ)]. The function f is then given by
f(x)=maxψ[0,π/2]{hψ(x)}.

For any x1, we have cos(ψ)x, and hence the maximum of hψ(x) with respect to ψ can be computed by taking the derivative of tan(ψ)x+2sin(ψ) w.r.t. ψ and setting equal to zero, which yields ˆψ=cos1((x/2)1/3), and thus
f(x)=tan[cos1((x2)1/3))]x+2sin[cos1((x2)1/3)]

for x1. In fact, this holds for x1/2 (working out the formal details soon). For x1/2, f is just the arc of a circle:
f(x)=1x2 for x1/2.

We can then integrate this closed form expression for x over [0,2]. We have that
1/201x2dx=π+28

and
21/2tan[cos1((x2)1/3))]x+2sin[cos1((x2)1/3)]dx=3π416


and thus
20f(x)dx=π+28+3π416=5π16.

(Integrals were evaluated with Mathematica). I will fill in the missing details soon.



Here's a plot of the function f as I have derived it (the vertical line indicates the separating point x=1/2:



the curve f




Note on the general problem: this can be posed as a problem in the calculus of variations, which can be used to prove that you have indeed found a minimal area.



Sliding hinge


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...