[논문 리뷰] Some Aspects of Modality in Analytical Mechanics

Jeremy Butterfield|arXiv (Cornell University)|2002. 10. 19.

History and Theory of Mathematics참고 문헌 18인용 수 16

한 줄 요약

이 논문은 분석역학에서의 가능성적 측면을 탐구하며, 라그랑주 역학과 해밀턴 역학의 변분 원리와 해밀턴-자비 방법이 반시가적 추론을 포함하는 방식에 초점을 맞춘다. 이는 이러한 프레임워크가 가능한 운동 진화를 언급하지만, 실제로는 실제 사실에 기초한 실제 법칙의 원칙을 위반하지 않음을 보여주며, 특히 단순한 기계 시스템에서 그러한 원칙이 유지됨을 보이고, 데이비드 루이스의 반시가적 이론과 유사성을 제기한다.

ABSTRACT

This paper discusses some of the modal involvements of analytical mechanics. I first review the elementary aspects of the Lagrangian, Hamiltonian and Hamilton-Jacobi approaches. I then discuss two modal involvements; both are related to David Lewis' work on modality, especially on counterfactuals. The first is the way Hamilton-Jacobi theory uses ensembles, i.e. sets of possible initial conditions. The structure of this set of ensembles remains to be explored by philosophers. The second is the way the Lagrangian and Hamiltonian approaches' variational principles state the law of motion by mentioning contralegal dynamical evolutions. This threatens to contravene the principle that any actual truth, in particular an actual law, is made true by actual facts. Though this threat can be avoided, at least for simple mechanical systems, it repays scrutiny; not least because it leads to some open questions.

연구 동기 및 목표

• 분석역학의 가능 세계적 기초를 조사하며, 특히 변분 원리와 해밀턴-자비 이론이 반시가적 추론을 어떻게 포함하는지 탐구한다.
• 변분 원리에서 실제가 아닌 운동 진화를 언급할 경우, 실제 진리가 실제 사실에 기초해야 한다는 철학적 원칙이 위반되는지 여부를 검토한다.
• 해밀턴-자비 이론에서 가능한 초기 조건의 군집의 구조를 분석하고, 이를 데이비드 루이스의 가능 세계 이론과 연관지킨다.
• 변분 원리가 가능 세계적 약속을 지닌 채로 철학적으로 타당한지, 어떤 조건에서 그러한 타당성이 유지되는지 명확히 한다.
• 이러한 가능 세계적 참여가 고전역학의 기초와 운동 법칙의 본질에 대해 갖는 철학적 함의를 부각시킨다.

제안 방법

• 현대 미분기하학을 사용하지 않고, 유한 자유도 시스템에 대한 기본적인 라그랑주, 해밀턴, 해밀턴-자비 공식을 검토한다.
• 데이비드 루이스의 반시가적 논리 적용을 통해 가능 세계 참여의 세 수준을 구분한다: 초기/최종 조건 변화, 법칙 변화, 힘 변화.
• 해밀턴-자비 $S$-함수를 가능한 초기 조건의 구조적 군집으로 간주하고, 루이스의 세계의 구(spheres of worlds)와 유사성을 제기한다.
• 해밀턴의 원리와 기타 변분 원리가 실제가 아닌 진화를 다루는 방식을 분석하고, 그 철학적 합리성을 평가한다.
• 레지오르드 변환을 사용하여 고차 도함수를 포함한 라그랑주 함수를 해밀턴형 방정식으로 연결하고, 변분 원리가 일阶 시스템으로 축소됨을 보여준다.
• 단순한 기계 시스템에서 변분 원리가 실제 법칙이 실제 사실에 의해 결정된다는 원칙을 위반하지 않음을 보이며, 이는 비현실적 진화가 실제 법칙과 작동 함수의 구조에 의해 제약을 받기 때문이다.

실험 결과

연구 질문

• RQ1 라그랑주 및 해밀턴 역학의 변분 원리는 어떻게 반시가적 운동 진화를 포함하며, 이는 실제 법칙이 실제 사실에 기초해야 한다는 원칙을 위협하는가?
• RQ2 해밀턴-자비 $S$-함수의 가능 세계적 의미는 무엇이며, 가능한 초기 조건의 군집으로서의 그 구조는 데이비드 루이스의 가능 세계 이론과 어떻게 관련되는가?
• RQ3 초기 조건, 힘, 법칙을 변화시키는 세 가지 수준의 가능 세계 참여는 운동 법칙에 대해 철학적으로 어떻게 다를가?
• RQ4 변분 원리가 실제가 아닌 운동 진화를 다루더라도 철학적으로 타당한가? 어떤 조건에서 그러한 타당성이 유지되는가?
• RQ5 특히 단일 생성 함수 $H$의 역할을 통해 해밀턴 역학의 해밀턴형 구조가 변분 공식화를 가능하게 하고, 가능 세계 참여를 어떻게 제약하는가?

주요 결과

• 해밀턴-자비 $S$-함수는 가능한 초기 조건의 구조적 군집을 담고 있으며, 루이스의 가능 세계의 구와 유사한 가능 세계 틀을 형성한다.
• 해밀턴의 원리와 같은 변분 원리는 단순한 기계 시스템에서는 실제 진리가 실제 사실에 기초해야 한다는 원칙을 위반하지 않으며, 이는 비현실적 진화가 실제 법칙과 작동 함수의 구조에 의해 제약을 받기 때문이다.
• 변분 원리와 해밀턴형 방정식 간의 대응은 단일 생성 함수 $H$의 존재에 의존하며, 이는 모든 캐논리컬 변수의 시간 도함수가 한 함수에서 유도됨을 보장함으로써 일관된 가능 세계적 해석을 가능하게 한다.
• 고차 도함수를 포함한 시스템에서는 레지오르드 변환을 통해 변분 문제를 일阶 해밀턴형으로 축소시키며, 가능 세계 틀의 일관성이 유지된다.
• 분석역학에서의 가능 세계 참여는 임의적이지 않으며, 작동 함수와 캐논리컬 방정식의 수학적 형태에 의해 구조적으로 제약을 받으며, 의미 있게 고려할 수 있는 반시가적 진술의 범위가 제한된다.
• 논문은 가능 세계적 추론이 분석역학, 특히 변분 원리와 해밀턴-자비 이론의 군집에서 깊이 뿌리내리고 있음에도 불구하고, 수학적 구조와 물리 법칙 간의 유기적 결합 덕분에 단순한 시스템에서는 여전히 철학적으로 정당화될 수 있음을 결론짓는다.