0
$\begingroup$

I'm interested in a problem and have no idea how to approach solving it. Could you please point me in the right direction.

Given 3 smooth paths $\varphi_{1}:[0,1]\to \mathbb{R}^{2}$, $\varphi_{2}:[0,1]\to \mathbb{R}^{2}$ and $\gamma:[0,1]\to \mathbb{R}^{2}$ such that:

1) $\varphi_{1}(1)=\varphi_{2}(1)=\gamma(1)=(x_{0},y_{0})$

2) $\varphi_{1}(0) = (0,y_{1})$, $\varphi_{2}(0) = (0,y_{2})$ and $\gamma(0) = (0,y_{3})$, where $y_{1} < y_{2} < y_{3}$.

3) All three intersect the $x = 0$ line perpendicularly.

4) (Edit) The curvature of each decreases monotonically from $0$ to $1$.

What conditions on the curvature of these three paths ensure that they do not intersect other than at $(x_{0},y_{0})$?

The more specific problem I am interested in is when $(x_{0},y_{0})$ is a point at infinity and all three paths tend to being parallel.

What subject/books concern questions like this? Which theorems would be useful for proving such properties.

Badly drawn picture to illustrate:

http://i.stack.imgur.com/B5qj4.png

P.S. Parameterization of the curves is not important.

Thanks!

  • 0
    You seem to be assuming that curvature is defined to be nonnegative, which is not the case, see http://en.wikipedia.org/wiki/Curvature#Signed_curvature2011-12-09

1 Answers 1

1

Constant curvature works in this case. Indeed, if you include a point at $\infty,$ this is precisely Hilbert's "field of ends" in $\mathbb H^2,$ any direction (except for straight right) leaving your fixed point $(x_0, y_0)$ defines a unique circular arc with center on the line $x=0$ that also meets the line $x=0$ orthogonally. Straight left gives a line segment.

  • 0
    Thanks $f$or your help. Added additional restraints on the paths. Does this change anything?2011-12-09