[논문 리뷰] Discrete approximation of functionals with jumps and creases

Andrea Braides|ArXiv.org|2000. 10. 05.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 8

한 줄 요약

이 논문은 뛰어남과 굽이침이 있는 $H^2$-정규성 기능에 대해 이산 차분 스킴을 사용하여 $\gamma$-수렴 근사를 설정한다. 이 스킴은 두 번째 도함수와 불연속성을 포착한다. 주요 결과는 이산 근사의 최소화 수열이 연속 기능의 최소화자로 수렴한다는 것이며, 이는 뛰어남과 굽이침 페널티가 포함된 신호 복원 문제의 수치적 해법을 가능하게 한다.

ABSTRACT

We prove a discrete approximation of functionals with jumps and creases.

연구 동기 및 목표

• 이산 근사를 통해 $H^2$-정규성, 함수 내의 뛰어남, 도함수 내의 굽이침을 포함한 자유-불연속 기능을 근사하는 것.
• 이차 유한 차분 기반 이산 에너지가 연속 기능 ${\cal F}$로 향하는 $\gamma$-수렴을 확립하는 것.
• 이산 최소화 문제를 연속 신호 복원 문제의 수치적 근사로 사용하는 데의 정당성을 제시하는 것.
• 이산 에너지 함수에 대한 최소한의 가정 하에 이산 스킴의 渐近적 행동을 특성화하는 것.

제안 방법

• 균일 격자에서 간격 $\lambda_n = L/n$를 갖는 조각별 상수 보간의 이차 유한 차분을 사용하여 이산 에너지 $E_n(u)$를 정의한다.
• 작은 $z$에 대해 점차적으로 $z^2$를 복원하고, 큰 $z$에 대해 $\alpha/\lambda_n$ 및 $\beta/(2\lambda_n)$를 취하는 이산 에너지 함수 $\Psi_n(z)$의 가족을 구성한다. 이는 굽이침과 뛰어남 페널티를 포착한다.
• $\Gamma$-수렴 이론을 사용하여 $E_n$ 이 연속 기능 ${\cal F}(u) = \int_0^L |u''|^2 dt + \alpha \#(S(u')) + \beta \#(S(u))$로 $L^1(0,L)$에서 수렴함을 증명한다.
• 이산 에너지 $E_n$ 하에서 유계 수열의 전결합성과 조밀성의 원리를 사용하여 $\Gamma$-수렴을 위한 복구 수열을 구성한다.
• 이산 문제 $m_n = \min \{ E_n(u) + \int |u-g|^2 \}$의 최소값이 연속 문제의 최소값 $m$으로 수렴함을 증명한다.
• 조각별 선형 보간과 유한 차분 몫의 渐近적 분석을 사용하여 $\Gamma$-수렴 조건을 검증한다.

실험 결과

연구 질문

• RQ1 이차 유한 차분 기반 이산 에너지가 $H^2$-함수 내의 뛰어남과 굽이침이 있는 연속 기능을 근사할 수 있는가?
• RQ2 이산 에너지 함수에 어떤 조건이 성립할 경우 이산 에너지가 연속 기능으로 $\Gamma$-수렴하는가?
• RQ3 이산 근사는 한계에서 $H^2$-정규성, 뛰어남, 굽이침 페널티 간의 균형을 어떻게 유지하는가?
• RQ4 이산 문제의 최소화 수열은 연속 문제의 최소화자로 수렴하는가?
• RQ5 이중 척도 행동은 이산 에너지 함수의 渐近적 행동에서 어떤 역할을 하는가?

주요 결과

• 이산 함수 $E_n$ 은 $L^2(0,L)$ 내의 유계 집합에서 $L^1(0,L)$ 수렴에 대해 연속 기능 ${\cal F}$로 $\Gamma$-수렴한다.
• 이산 문제의 최소화 수열 $m_n$ 은 연속 문제의 최소화자로 수렴하며, $\lim_{n\to\infty} m_n = m$ 이다.
• 이산 에너지 $E_n(u)$ 는 $\Psi_n(z)$ 의 渐近적 스케일링을 통해 제2도함수의 $L^2$-노름과 뛰어남 및 굽이침 점의 수를 모두 포착한다.
• 구성은 $\lim_{\varepsilon} \Psi_\varepsilon(z) = z^2$, $\lim_{\varepsilon} \varepsilon \Psi_\varepsilon(z/\varepsilon) = \alpha$, 및 $\lim_{\varepsilon} 2\varepsilon \Psi_\varepsilon(z/\varepsilon^2) = \beta$ 를 보장하여 이중 척도 행동을 반영한다.
• 연속 기능 ${\cal F}$ 의 강력성과 $\Gamma$-수렴 구조 덕분에 $L^1(0,L)$ 내의 최소화 수열의 전결합성이 보장된다.
• 결과는 조각별 상수 보간과 이차 유한 차분을 사용하는 이산 스킴을 뛰어남과 굽이침 페널티가 포함된 신호 복원 문제의 수치적 해법에 사용하는 데의 정당성을 제시한다.