[논문 리뷰] Existence of minimizers for generalized Lagrangian functionals and a necessary optimality condition - Application to fractional variational problems

Loïc Bourdin, Tatiana Odzijewicz외 1명|arXiv (Cornell University)|2014. 01. 01.

Fractional Differential Equations Solutions참고 문헌 25인용 수 12

한 줄 요약

이 논문은 일반 선형 연산자 $K$를 포함하는 일반화된 라그랑지안 함수에 대해 최소화자가 존재하는 충분조건을 확립하고, 오일러–라그랑주 유형 최적성 조건을 유도한다. 이는 분수계 미분법에의 응용을 포함한다. 주요 기여는 Riemann–Liouville 및 Hadamard 분수적 적분을 포함한 커널 연산자에 대해 존재성 및 최적성 결과를 통합된 프레임워크로 확장함으로써 분수계 미분법의 미해결 문제를 해결한 것이다.

ABSTRACT

We study dynamic minimization problems of the calculus of variations with generalized Lagrangian functionals that depend on a general linear operator $K$ and defined on bounded-time intervals. Under assumptions of regularity, convexity and coercivity, we derive sufficient conditions ensuring the existence of a minimizer. Finally, we obtain necessary optimality conditions of Euler-Lagrange type. Main results are illustrated with special cases, when $K$ is a general kernel operator and, in particular, with $K$ the fractional integral of Riemann-Liouville and Hadamard. The application of our results to the recent fractional calculus of variations gives answer to an open question posed in [Abstr. Appl. Anal. 2012, Art. ID 871912; doi:10.1155/2012/871912].

연구 동기 및 목표

• 유계 시간 간격에서 일반 선형 연산자 $K$를 포함하는 일반화된 라그랑지안 함수의 최소화자가 존재하도록 보장하는 충분조건을 확립한다.
• 해당 함수에 대해 오일러–라그랑주 유형의 필요 최적성 조건을 도출한다.
• 기존의 분수계 변분 문제 결과를 Riemann–Liouville 및 Hadamard 분수적 적분을 포함한 더 넓은 유형의 연산자로 확장한다.
• 일반화된 함수에 대해 최소화자의 존재성에 관한 분수계 미분법의 미해결 문제를 해결한다.

제안 방법

• 라그랑지안 $L$이 $u$, $K[u]$, $\dot{u}$, $K[\dot{u}]$에 의존할 수 있는 선형 연산자 $K$에 의존하는 일반화된 라그랑지안 함수 $\mathcal{L}$를 설정한다.
• $L$에 대한 정규성, 볼록성, 강한 강성 조건을 가정하여 토넬리 유형 정리의 응용을 통해 최소화자의 존재성을 확립한다.
• $\mathscr{C}^\infty_{\mathrm{c}}$ 방향에서 $\mathcal{L}$의 미분 가능성 분석을 통해 일반화된 오일러–라그랑주 방정식을 유도한다.
• $K$가 커널 연산자인 특수한 경우를 고려하며, 고정 및 가변 차수의 Riemann–Liouville 및 Hadamard 분수적 적분을 포함한다.
• $\mathscr{P}^1_M$ 및 $\mathscr{P}^2_M$의 새로운 클래스를 도입하여 더 약한 볼록성 및 강한 강성 조건을 제안함으로써 적용 범위를 확장한다.
• 미분형 사상에 의한 치환 연산자와 같은 비커널 연산자에도 적용 가능함을 보여 이 방법의 일반성을 입증한다.

실험 결과

연구 질문

• RQ1 일반 선형 연산자 $K$를 포함하는 일반화된 라그랑지안 함수가 유계 간격에서 최소화자를 갖는 조건은 무엇인가?
• RQ2 해당 일반화된 함수에 대해 최소화자의 필요 최적성 조건은 무엇인가?
• RQ3 Riemann–Liouville 및 Hadamard 분수적 적분을 포함하는 분수계 변분 문제에 대해 존재성 및 최적성 이론을 어떻게 확장할 수 있는가?
• RQ4 라그랑지안에 대한 가정을 어떻게 약화시켜도 존재성 및 최적성 결과가 유지될 수 있는가?
• RQ5 이 프레임워크는 커널 연산자 외의 다른 선형 연산자, 예를 들어 치환 연산자로까지 어떻게 확장할 수 있는가?

주요 결과

• 라그랑지안 $L$에 대한 정규성, 볼록성, 강한 강성 조건을 가정함으로써 최소화자의 존재에 대한 충분조건가 확립되었으며, 이는 고전적 토넬리 유형 결과의 일반화이다.
• 일반 선형 연산자 $K$를 포함하는 일반화된 라그랑지안 함수의 최소화자에 대해 오일러–라그랑주 유형의 필요 최적성 조건이 도출되었다.
• 이 결과는 Riemann–Liouville 및 Hadamard 분수적 적분을 포함하는 함수에 대해 최소화자의 존재성을 보장함으로써 분수계 미분법의 미해결 문제를 해결한다.
• 특정 라그랑지안에 대해 더 넓은 적용 가능성을 위해 $\mathscr{P}^1_M$ 및 $\mathscr{P}^2_M$ 클래스를 도입하여 더 약한 볼록성 및 강한 강성 조건을 제안한다.
• 치환 연산자(예: $\mathscr{C}^1$-미분형 사상에 의한)와 같은 비커널 연산자에도 이 프레임워크를 확장함으로써 방법의 일반성을 입증한다.
• 이 방법은 고차 도함수, 다중 연산자, 다차원 설정 및 시간 척도 등으로도 적응 가능하여 광범위한 일반화 잠재력을 보여준다.