[논문 리뷰] An intrinsic formulation of the rolling manifolds problem

Mauricio Godoy Molina, Erlend Grong외 2명|arXiv (Cornell University)|2010. 08. 11.

Mathematics and Applications참고 문헌 12인용 수 13

한 줄 요약

이 논문은 두 개의 n차원 리만다만료에 대한 굴림 다양체 문제의 내재적 공식화를 제시하며, 구성 공간의 차원이 $\frac{n(n+3)}{2}$임을 정의하고, 랭크-$n$ 분포를 통해 끼임 없음과 미끄럼 없음을 조건화한다. 주요 기여는 $n$-구가 $\mathbb{R}^n$ 위에서 굴러가는 경우의 제어 가능성을 증명하는 것이며, 구성 공간의 27차원에서 12차원의 잎입자 분할이 존재하기 때문에 $SE(3)$가 $\mathfrak{se}(3)$ 위에서 굴러가는 경우의 비제어 가능성을 보여주는 것이다.

ABSTRACT

We present an intrinsic formulation of the kinematic problem of two $n-$dimensional manifolds rolling one on another without twisting or slipping. We determine the configuration space of the system, which is an $\frac{n(n+3)}2-$dimensional manifold. The conditions of no-twisting and no-slipping are decoded by means of a distribution of rank $n$. We compare the intrinsic point of view versus the extrinsic one. We also show that the kinematic system of rolling the $n$-dimensional sphere over $\mathbb R^n$ is controllable. In contrast with this, we show that in the case of $SE(3)$ rolling over $\mathfrak{se}(3)$ the system is not controllable, since the configuration space of dimension 27 is foliated by submanifolds of dimension 12.

연구 동기 및 목표

• 외부 임bedding에 의존하지 않는 추상 리만다만료에 대한 미끄럼 없음 또는 끼임 없음의 내재 기하 공식화를 개발하기 위해.
• 이전의 외재적 접근 방식을 일반화하여, 구성 공간을 차원 $\frac{n(n+3)}{2}$인 다양체로 정의하기 위해.
• 내재적 분석을 가능하게 하기 위해, 끼임 없음과 미끄럼 없음 조건을 구성 공간 위의 랭크-$n$ 분포를 통해 특성화하기 위해.
• 내재적 및 외재적 공식화를 비교하여, 내재적 접근이 외부 공간에 의존하지 않고도 동일한 운동 제약 조건을 포괄함을 보여주기 위해.

제안 방법

• 구성 공간은 두 개의 $n$-차원 다양체의 곱 위의 피복다양체로 구성되며, 정규직교 기저 다발에서 유래된 구조를 갖는다.
• 굴림 운동은 이 구성 공간 내의 곡선으로 정의되며, 운동 제약 조건을 나타내는 랭크 $n$의 분포에 접선이 되어야 한다.
• 분포는 다량체의 내재 기하학과 그들의 법선 접속에서 유도된 벡터장의 국소 스트림으로 명시적으로 구성된다.
• 분포의 브라켓 생성 성질은 카르탕의 기준을 사용하여 분석되어 시스템의 제어 가능성을 결정한다.
• 명시적 기저 계산을 사용하여 두 가지 주요 예제에 이 те올리를 적용한다: $n$-구가 $\mathbb{R}^n$ 위에서 굴러가는 경우와 $SE(3)$가 $\mathfrak{se}(3)$ 위에서 굴러가는 경우.
• 부드러움 조건을 절대 연속성으로 완화함으로써 미분기하학적 및 제어이론적 도구의 적용 가능성을 유지한다.

실험 결과

연구 질문

• RQ1 미끄럼 없음 또는 끼임 없음의 문제는 유클리드 공간에 임베딩되지 않은 채로 내재적으로 공식화될 수 있는가?
• RQ2 굴림하는 $n$-차원 다량체에 대한 구성 공간의 정확한 차원과 기하학적 구조는 무엇인가?
• RQ3 내재적 및 외재적 공식화는 어떻게 관련되어 있으며, 임베딩에 의존하지 않는 정보는 무엇을 공유하는가?
• RQ4 끼임 없음과 미끄럼 없음 조건에 의해 정의된 분포는 브라켓 생성 성질을 가지는가, 그리고 이는 제어 가능성에 어떤 의미를 갖는가?
• RQ5 $SE(3)$가 $\mathfrak{se}(3)$ 위에서 굴러가는 시스템은 구성 공간이 27차원임에도 불구하고 왜 비제어 가능한가?

주요 결과

• 두 $n$-차원 다량체가 굴러가는 구성 공간은 $\frac{n(n+3)}{2}$-차원 다양체이며, 이는 기존 결과를 일반화한다.
• 끼임 없음과 미끄럼 없음 조건은 구성 공간 위의 랭크-$n$ 분포로 정의되며, 이는 운동 제약 조건을 내재적으로 캡슐화한다.
• $n$-구가 $\mathbb{R}^n$ 위에서 굴러가는 경우, 분포는 브라켓 생성 성질을 가지며, 이는 시스템이 제어 가능함을 의미한다.
• $SE(3)$가 $\mathfrak{se}(3)$ 위에서 굴러가는 경우, 27차원의 구성 공간은 12차원의 부분다양체로 잎입자 분할되며, 이는 비제어 가능성과 관련이 있다.
• 내재적 공식화는 외재적 공식화와 동일한 운동 제약 조건을 포괄하지만, 임bedding에 의존하지 않으며 문제의 기하학적 핵심을 드러낸다.