[논문 리뷰] Initial Data Identification in Conservation Laws and Hamilton-Jacobi Equations

Rinaldo M. Colombo, Vincent Perrollaz|arXiv (Cornell University)|2019. 03. 15.

Geometric Analysis and Curvature Flows참고 문헌 19인용 수 4

한 줄 요약

이 논문은 1차원 스칼라 보존법칙과 해밀토니안–자코비 방정식에 대해 고정된 양의 시간에서 주어진 프로파일로 진화하는 초깃값을 완전히 특성화한다. 특정한 해 프로파일을 생성하는 초깃값의 집합을 규명하며, 볼록성, 극단적 구조, 그리고 유한차원 극단적 면이 없는 등의 위상적 성질을 증명한다.

ABSTRACT

In the scalar 1D case, conservation laws and Hamilton-Jacobi equations are deeply related. For both, we characterize those profiles that can be attained as solutions at a given positive time corresponding to at least one initial datum. Then, for each of the two equations, we precisely identify all those initial data yielding a solution that coincide with a given profile at that positive time. Various topological and geometrical properties of the set of these initial data are then proved. 2000 Mathematics Subject Classification: 35L65, 35F21, 93B30, 35R30.

연구 동기 및 목표

• 스칼라 보존법칙과 해밀토니안–자코비 방정식에 대해 고정된 양의 시간 T에서 주어진 해 프로파일을 생성하는 모든 초깃값을 특성화하는 것.
• 명시적 구성 방법을 통해 이러한 초깃값 집합의 비어있지 않음을 확립하는 것.
• 주어진 프로파일을 생성하는 초깃값 집합의 위상적 및 기하학적 구조를 분석하는 것, 볼록성과 극단적 성질 포함.
• 주어진 프로파일을 생성하는 초깃값 집합이 유한차원 극단적 면이 없는 콘(cone)임을 증명하고, 해프로파일이 도달 가능할 경우 항상 BV-정규 초깃값이 존재함을 보이는 것.
• 관측된 역동성으로부터 종단 또는 초깃비용을 식별함으로써 보존법칙의 역문제와 최적제어에 대한 프레임워크를 제공하는 것.

제안 방법

• 보존법칙과 해밀토니안–자코비 방정식 사이의 이중성 관계를 이용하여 $ u = \partial_x U $로 표현되며, $ u $는 (1.1)을, $ U $는 (1.2)를 만족한다.
• 올레이닉 유형의 감쇠 추정과 희박파의 정밀한 분석을 적용하여 시간 $ T $에서 주어진 프로파일로부터 초깃값을 재구성한다.
• 서로소인 두 집합 $ X_i $와 $ X_{ii} $를 도입한다: $ X_i $에서는 초깃값의 값이 유일하게 결정되며, $ X_{ii} $에서는 느슨하게 제약을 받는다.
• 점성 및 엔트로피 해이론을 활용하여 해의 잘 정의성과 해밀토니안–자코비 방정식에 의한 해의 특성화를 보장한다.
• 콤���트 지지 함수 $ A_k $를 사용한 초깃값의 변형을 구성하여 해집합의 극단성과 비어있지 않음을 증명한다.
• 충격을 뒤로 연장하고 상호작용 잠재에너지 분석을 통해 역방향 구성 기법을 사용하여 $ (0,T) $에서 잠재에너지가 일정함을 확보함으로써 해의 유일성과 정규성을 보장한다.

실험 결과

연구 질문

• RQ1 스칼라 보존법칙 또는 해밀토니안–자코비 방정식에 대해 고정된 시간 $ T > 0 $에서 주어진 해 프로파일로 진화하는 초깃값은 무엇인가?
• RQ2 이러한 초깃값 집합의 위상적 및 기하학적 구조는 무엇인가, 특히 볼록성과 극단점에 관해 어떻게 되어 있는가?
• RQ3 해프로파일이 유계변동이 아닌 초깃값에서 유래하더라도, 항상 BV-정규 초깃값을 찾을 수 있는가?
• RQ4 주어진 프로파일을 생성하는 초깃값 집합은 유한차원 극단적 면을 포함하는가, 아니면 무한차원 구조를 가진 콘인가?
• RQ5 특히 충격과 희박파가 존재하는 상황에서, 주어진 해 프로파일을 생성하는 초깃값을 명시적으로 구성할 수 있는가?

주요 결과

• 주어진 프로파일 $ w $를 시간 $ T $에서 생성하는 초깃값 집합 $ I^{ ext{CL}}_T(w) $는 희박파 감쇠 및 충격 전파에 기반한 구조적 조건를 만족할 경우에만 비어있지 않다.
• 집합 $ I^{ ext{CL}}_T(w) $는 볼록이며, 그 유일한 극단점은 모든 충격을 시간에 따라 거꾸로 연장하여 얻어진 초깃값으로 완전히 특성화된다.
• 집합 $ I^{ ext{CL}}_T(w) $는 유한차원 극단적 면이 없는 콘으로서, 주어진 프로파일을 위한 초깃값 선택에 대해 무한차원 자유도를 가짐을 나타낸다.
• 해의 연산자 이미지에 속하는 임의의 프로파일 $ w $에 대해, 원래의 초깃값이 무한변동을 가졌더라도 $ \mathbf{BV}({\mathbb{R}};{\mathbb{R}}) $에 속하는 초깃값이 존재한다.
• 집합 $ I^{ ext{CL}}_T(w) $는 항상 한쪽으로 리프시츠 연속 함수를 포함하며, 프로파일에 따라 더 규칙적인 초깃값도 존재할 수 있다.
• 충격을 뒤로 연장하여 구성한 해는 $ (0,T) $에서 일정한 상호작용 잠재에너지 값을 가지며, 이는 역설계 및 제어 문제의 핵심 구조적 성질이다.