[논문 리뷰] Remarks on the calculus of variations on time scales

Rui A. C. Ferreira, Delfim F. M. Torres|ArXiv.org|2007. 06. 21.

Numerical methods for differential equations참고 문헌 7인용 수 18

한 줄 요약

이 논문은 최근 문헌에서 제기된 핵심 추론과 증명에 대한 기초적인 결과들에 대한 비판적 분석을 수행한다. 특히, 고립점이나 경계점에서 델타 미분과 연속성 가정이 잘못 다뤄진 경우, 기본 보조정리, 경계 조건, 부분 적분의 적용에 있어 해결되지 않은 기술적 문제를 지적한다. 많은 결과들이 델타 도함수와 혼합된 밀도와 산산이 흩어진 점을 가진 시간 척도에서의 부적절한 다루움으로 인해 엄밀한 정당화가 부족하다고 주장한다.

ABSTRACT

The calculus of variations is a classical subject which has gain throughout the last three hundred years a level of rigor and elegance that only time can give. In this note we show that, contrary to the classical field, available formulations and results on the recent calculus of variations on time scales are still at the heuristic level.

연구 동기 및 목표

• 시간 척도 상의 변분법 기초 결과에서 해결되지 않은 기술적 문제를 식별하고 명확히 하기.
• 일반적인 시간 척도에서 기본 보조정리와 부분 적분에 의존하는 기존 증명의 엄밀함을 도전하기.
• 좌측으로 분리된 점 또는 우측으로 밀도가 있는 점에서 델타 도함수의 처리에 대한 일관성 없는 점을 강조하기.
• 함수 정의역과 미분 가능성에 대한 의심스러운 가정에 기반한 경계 조건과 오일러-라그랑주 방정식의 타당성을 의심하기.
• 향후 시간 척도 상의 변분법 공식화에 있어 더 높은 수준의 수학적 엄밀함을 주장하기.

제안 방법

• 논문 [2]의 보조정리 2.1에 대한 분석적 비판으로, 이산 시간 척도에서 적분 영역과 ρ(a) 및 b에서의 함수 행동에 중점을 둔다.
• [8]의 경계 조건을 검토하여, σ(b) ≠ b인 좌측으로 분리된 점 b에서 오일러-라그랑주 방정식이 성립하지 않음을 보여준다.
• 예를 들어 𝕋 = {1,2,3,4,5}와 같은 이산 시간 척도에서의 반례를 사용하여, 제안된 보조정리가 고립점에서 실패함을 입증한다.
• 델타 적분에 대한 부분 적분 공식을 적용하여 최적성의 필요 조건을 유도하며, 영역 제약 조건을 강조한다.
• [5]의 보조정리 5.1의 가정을 분석하여, 그린 공식에 필요한 부분 델타 도함수의 연속성에 중점을 둔다.
• 오일러-라그랑주 방정식 유도 과정을 재구성하여, 변분에 대해 더 강한 정규성 조건이 없이 기본 보조정리를 적용할 수 없다는 점을 보여준다.

실험 결과

연구 질문

• RQ1 왜 [8]의 경계 조건은 σ(b) ≠ b인 좌측으로 분리된 끝점 b에서 성립하지 않는가?
• RQ2 b가 좌측으로 분리된 경우 [a, ρ(b)]에서 오일러-라그랑주 방정식을 정의하는 것이 의미가 있으며, 그 확장이 왜 b에서 유효하지 않은가?
• RQ3 테스트 함수 η가 ρ(a) 또는 b와 같이 고립점에서 0이 되는 경우, 시간 척도 상의 변분법 기본 보조정리를 적용할 수 있는가?
• RQ4 왜 그린 공식을 적용하기 위해 부분 델타 도함수의 연속성이 필요하며, 이는 [5]의 보조정리 5.1의 타당성에 어떤 영향을 미치는가?
• RQ5 C_rd^1 함수가 연속적인 이阶 부분 델타 도함수를 가진다는 가정은 타당한가, 그리고 이는 기본 보조정리의 적용을 뒷받침하는가?

주요 결과

• [8]의 경계 조건은 σ(b) ≠ b인 좌측으로 분리된 끝점에서 유효하지 않다. 왜냐하면 오일러-라그랑주 방정식이 b에서 정의되어 있지 않기 때문이다.
• [2]의 기본 보조정리는 이산 시간 척도에서 t = ρ(a) 및 t = b에서 증명되지 않았으며, 테스트 함수 η가 식별적으로 0이 되는 반례를 통해 이를 입증한다.
• [5]에서 보조정리 5.1은 잘못되었다. 왜냐하면 테스트 함수 η가 Ω = [1, σ₁(1)) × [1, σ₂(1))에서 0이 되기 때문이며, 이는 단일 점으로 수렴하여 적분이 0이 되고 모순을 유도하지 못하기 때문이다.
• [5]에서 그린 공식을 적용하기 위해서는 부분 델타 도함수의 연속성이 필요하지만, C_rd^1 클래스는 이를 보장하지 않으며, 이는 오일러-라그랑주 방정식 증명의 기초를 흔들게 한다.
• C_rd^1 함수가 연속적인 이阶 부분 델타 도함수를 가진다는 가정은 명시되어 있지도 않고 정당화되어 있지 않아 유도 과정의 논리적 연결에 빈자리가 생긴다.
• 이 논문은 시간 척도 상의 변분법에서 많은 기존 결과들이 엄밀하게 확립되어 있지 않으며, 특히 경계 행동과 함수 공간 가정에 관해 재검토가 필요하다고 결론 내린다.