On mathematical aspects of surface correction via ion beam etching
W. Pauls
TL;DR
Проблема: восстановить карту травления $t$ по заданному профилю поверхности $h$ в контексте ионно-пучкового травления, моделируемого как свёртка $h=f*t$ на бесконечномерном пространстве. Подход: формализация через бесконечномерное линейное уравнение $At=h$ с компактным оператором $A$, использование псевдообратного оператора $A^{\u2020}$ и разбор спектра $A^{*}A$; в качестве практики — RKHS с ядром $(f*f)$ и радикальные базисные функции для стохастичных и дискретных данных. Внесённые вклад и результаты: установлена связь между самыми эффективными сингулярными векторами и локализацией внутри области измерений, продемонстрированы численные примеры и разработаны подходы к фильтрации и регуляризации, а также показано, как использовать два параллельных подхода для получения устойчивых карт травления в прикладном контексте IBF. Значение: предлагаемые математические рамки полезны для обратных задач в электростатике, реконструкции изображений и точной настройки процессов травления, улучшая устойчивость к шуму и управляемость экспозицией.
Abstract
Motivated by the ion beam dwell time calculation problem in Ion Beam Figuring we suggest a mathematical framework for solving a specific type of inverse problems, which appear in various areas of applied mathematics and physics. From the point of view of functional analysis we deal with a linear operator equation, which, taking advantage of the observation that the associated operator, acting from the space of dwell times into the space of measurement data, is close to a finite-dimensional one, can be solved employing the pseudoinverse operator. For the main case of interest we describe the behavior of the singular vectors inside the domain, on which measurement data are given, which turn out to be close to functions $e^{ikx}$. Heuristically, these singular vectors are similar to eigenfunctions of the infinitely deep quantum well. An alternative problem formulation, closer to practical calculations, utilizes reconstructing kernel Hilbert spaces (RKHS) and radial basis functions, which are used for pointwise approximation of measurement data and ensuing dwell time determination. Depending on the particularities of the concrete problem either framework or a suitable combination of each can be used.
