Внешняя производная и равенство среднего значения в $\mathbb{R}^n$

Основная информация

• ID статьи: 2510.00999
• Название: The exterior derivative and the mean value equality in $\mathbb{R}^n$
• Авторы: Daniel Fadel (USP), Henrique N. Sá Earp (UNICAMP), Tomás S. R. Silva (UNICAMP)
• Классификация: math.DG (Дифференциальная геометрия), cs.NA (Численный анализ), math.NA (Численный анализ)
• Дата публикации: октябрь 2025 г. (arXiv v2: 28 октября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2510.00999

Аннотация

В данной работе классические результаты векторного исчисления и анализа пересматриваются путём интерпретации внешней производной как меры «бесконечно малого потока». Этот подход приводит к теореме о среднем значении в высших измерениях (в форме равенства), применимой к дифференциальным $k$-формам, и обеспечивает естественную формулировку теоремы Стокса, условия которой точно соответствуют условиям основной теоремы исчисления — без требования полной гладкости $C^1$. В качестве численного приложения предлагается алгоритм вычисления внешней производной в $\mathbb{R}^n$, зависящий только от доступа к дифференциальной форме как к чёрному ящику, без необходимости в дискретизации сетки или явных символических выражениях.

Исследовательский контекст и мотивация

1. Основные проблемы, подлежащие решению

Данная работа пересматривает фундаментальные концепции дифференциальной геометрии — внешнюю производную, пытаясь решить следующие проблемы:

• Классическая теорема о среднем значении (MVT) при обобщении на высшие измерения обычно даёт только неравенства; можно ли получить форму равенства?
• Классическое доказательство теоремы Стокса требует предположения гладкости $C^1$; можно ли установить её при более слабых условиях?
• Можно ли предоставить более интуитивное геометрическое толкование внешней производной и разработать соответствующие методы численного расчёта?

2. Значимость проблемы

• Теоретическое значение: Теорема о среднем значении — краеугольный камень исчисления; её обобщение на высшие измерения имеет решающее значение для понимания многомерного исчисления и теории дифференциальных форм
• Педагогическая ценность: Предоставление более интуитивного и доступного геометрического толкования внешней производной
• Вычислительные потребности: В вычислительной геометрии, физическом моделировании и других областях требуются эффективные методы численного расчёта дифференциальных форм

3. Ограничения существующих методов

• Классическая теорема Стокса: Требует гладкости $C^1$ дифференциальных форм, что является более сильным предположением, чем условия основной теоремы исчисления
• Теорема о среднем значении в высших измерениях: Традиционные методы дают только неравенства, не позволяя получить точные равенства, как в одномерном случае
• Численные методы: Существующие подходы, такие как дискретное внешнее исчисление (DEC) и внешнее исчисление конечных элементов (FEEC), зависят от дискретизации сетки

4. Исследовательская мотивация

Работа вдохновлена ранними исследованиями Felipe Acker 1, 2, 5, которые предложили интерпретацию внешней производной через потоки, но с недостаточно строгими доказательствами и ограничением португальскоязычной литературой. Авторы стремятся:

• Систематизировать и строго обосновать теорию Acker
• Обобщить её на общие $k$-формы
• Разработать практические численные алгоритмы

Основные вклады

1. Обобщение леммы о трисекции: Расширение одномерной леммы о трисекции (Лемма 1) на случай $k$-блоков (Леммы 6, 8), введение концепции «непрерывности потока», которая слабее традиционной непрерывности
2. Интерпретация внешней производной через потоки: Предложено новое определение внешней производной (Определение 11), интерпретирующее её как «плотность бесконечно малого потока», которое:
   • Применимо к некоторым разрывным дифференциальным формам
   • Совпадает с классическим определением в дифференцируемом случае (Теорема 8)
   • Обеспечивает интуитивное геометрическое понимание
3. Равенство теоремы о среднем значении в высших измерениях: Доказана форма равенства теоремы о среднем значении для дифференциальных форм (Теоремы 1, 5): $\text{существует } \xi \in \mathring{B} \text{ такой, что } D\omega_\xi(e_1,\ldots,e_k) = \frac{1}{\text{vol}(B)}\int_{\partial B}\omega$
4. Ослабленная теорема Стокса: Установлена теорема Стокса, требующая только непрерывности и дифференцируемости (а не $C^1$) (Теорема 2): $\int_{\partial c}\omega = \int_c d\omega$
5. Алгоритм численного расчёта как чёрный ящик: Предложен алгоритм численного расчёта внешней производной на основе интерпретации через потоки (Алгоритм 2), не требующий сетки или символических выражений, только выборку значений функции

Подробное описание методов

Определение задачи

Дана $(k-1)$-форма $\omega$ на открытом множестве $U \subset \mathbb{R}^n$, требуется вычислить её внешнюю производную $D\omega_x \in \Lambda^k(\mathbb{R}^n)^*$ в точке $x \in U$.

Входные данные:

• Точка $x \in U \subset \mathbb{R}^n$
• Дискретизатор (чёрный ящик) для выборки $(k-1)$-формы $\omega$
• Параметр шага $\varepsilon > 0$

Выходные данные:

• Численные приближения всех компонент $k$-формы $D\omega_x$

Основная теоретическая база

1. Лемма о трисекции (Trisection Lemma)

Одномерный случай (Лемма 1): Для непрерывной функции $f:[a,b] \to \mathbb{R}$ существует подинтервал $[a',b'] \subset ]a,b[$ такой, что:

• $b'-a' = \frac{1}{3}(b-a)$
• $\frac{f(b')-f(a')}{b'-a'} = \frac{f(b)-f(a)}{b-a}$

Схема доказательства: Разделим $[a,b]$ на три равные части $[a_0,a_1],[a_1,a_2],[a_2,a_3]$. Если средние скорости изменения трёх сегментов не все равны, то функция $m(x) = \frac{f(x+h)-f(x)}{h} - \alpha$ (где $\alpha$ — общая средняя скорость изменения) имеет противоположные знаки в некоторых двух точках разделения, откуда по теореме о промежуточном значении следует результат.

Обобщение на высшие измерения (Лемма 6): Для непрерывной $(k-1)$-формы $\omega$ на $k$-блоке $B=[a_1,b_1]\times\cdots\times[a_k,b_k]$ существует $B_1 \subset \mathring{B}$ такой, что:

• Длины сторон $B_1$ составляют $1/3$ от соответствующих длин сторон $B$
• $\frac{1}{\text{vol}(B_1)}\int_{\partial B_1}\omega = \frac{1}{\text{vol}(B)}\int_{\partial B}\omega$

Ключевое нововведение: Введение концепции «непрерывности потока» (Определение 7) — требование, чтобы интеграл $x \mapsto \int_{\partial(x+\beta)}\omega$ был непрерывным, что слабее, чем непрерывность самой формы $\omega$.

2. Определение внешней производной через потоки (Определение 11)

Для $(k-1)$-формы $\omega$, дифференцируемой в точке $x$, определим $D\omega_x \in \Lambda^k(\mathbb{R}^n)^*$ как: $D\omega_x(v_1,\ldots,v_k) = \lim_{B\to p}\frac{1}{\text{vol}(B)}\int_{\partial B}\varphi^*\omega$

где $\varphi:A\to U$ — отображение класса $C^1$, $\varphi(p)=x$, $\varphi'(p)e_i = v_i$.

Точное значение предела: Для любых $\varepsilon>0$ и $K>1$ существует $\delta>0$ такое, что для $k$-блока $B$, удовлетворяющего условиям:

• $p \in B$
• $L(B) < \delta$ (длина наибольшей стороны)
• $L(B)/l(B) < K$ (ограниченное отношение сторон)

выполняется $|D\omega_x(v_1,\ldots,v_k) - \frac{1}{\text{vol}(B)}\int_{\partial B}\varphi^*\omega| < \varepsilon$.

Геометрическая интуиция: Внешняя производная измеряет «средний поток» формы $\omega$ через границу малого блока.

3. Согласованность с классическим определением (Теорема 8)

Основной результат: Если $\omega$ дифференцируема в $x_0$ (в классическом смысле), то $D\omega_{x_0} = d\omega_{x_0}$.

Схема доказательства:

1. Разложим $\omega$ на линейную часть $\omega_0$ и остаток $\omega_1$: $\omega(x) = \omega(x_0) + \omega'(x_0)(x-x_0) + \rho(x)|x-x_0|$
2. Применим классическую теорему Стокса к линейной части
3. Докажем, что граничный интеграл остатка стремится к нулю, используя ограничение на отношение сторон $L(B)/l(B) < K$

Ключевое неравенство: $\frac{1}{\text{vol}(B)} < \frac{K^k}{L(B)^k}$ обеспечивает управляемость вклада остатка.

Доказательство теоремы о среднем значении (Теорема 5)

Формулировка: Пусть $\omega$ — $(k-1)$-форма на $k$-блоке $B$, удовлетворяющая условиям:

1. $\omega$ имеет непрерывный поток
2. $\omega$ дифференцируема в $\mathring{B}$

Тогда существует $\xi \in \mathring{B}$ такой, что $D\omega_\xi(e_1,\ldots,e_k) = \frac{1}{\text{vol}(B)}\int_{\partial B}\omega$

Схема доказательства:

1. Итеративно применяем лемму о трисекции, строя вложенную последовательность $B \supset B_1 \supset B_2 \supset \cdots$
2. Каждый $B_n$ удовлетворяет условиям:
   • Длины сторон составляют $1/3$ от $B_{n-1}$
   • Средний поток одинаков: $\frac{1}{\text{vol}(B_n)}\int_{\partial B_n}\omega = \frac{1}{\text{vol}(B)}\int_{\partial B}\omega$
3. По компактности $\bigcap B_n = \{\xi\}$ — одна точка
4. По определению дифференцируемости $D\omega_\xi(e_1,\ldots,e_k) = \lim_{n\to\infty}\frac{1}{\text{vol}(B_n)}\int_{\partial B_n}\omega$

Это полностью аналогично доказательству одномерной теоремы о среднем значении!

Разработка численного алгоритма

Алгоритм 2: Численная внешняя производная

Входные данные:

• Дискретизатор $(k-1)$-формы $\omega$
• Точка $x \in \mathbb{R}^n$
• Параметр шага $\varepsilon > 0$

Выходные данные:

• Все компоненты $k$-формы $D\omega_x$

Основная формула (формула 15): Для мультииндекса $Q=\{q_1<\cdots<q_k\}$, $D\omega_x(e_{q_1},\ldots,e_{q_k}) \approx \frac{1}{2\varepsilon}\sum_{i=1}^k\sum_{j=0}^1(-1)^{i+j}\omega_{x+(-1)^{j+1}\varepsilon e_{q_i}}(e_{q_1},\ldots,\hat{e}_{q_i},\ldots,e_{q_k})$

Геометрическое толкование:

• Строим $k$-куб с центром в $x$ и длиной стороны $2\varepsilon$
• Вычисляем интегралы $\omega$ по всем $(k-1)$-мерным граням (приближаем значением в центре)
• Делим граничный интеграл на объём для получения плотности потока

Особенности алгоритма:

• Доступ как чёрный ящик: Требуется только возможность вычислить $\omega$ в произвольной точке
• Без сетки: Не требуется предварительное построение сетки
• Естественное обобщение: Прямо следует из определения, применимо к любым размерностям и порядкам

Экспериментальная установка

Тестовые случаи

Работа предоставляет два конкретных примера в $\mathbb{R}^3$ для проверки алгоритма:

Пример 3:

• Форма: $\omega = x\,dx + y\,dy + z\,dz$ (двойственная форма радиального векторного поля)
• Точка: $x=(1,1,1)$
• Параметр шага: $\varepsilon = 0.01$
• Теоретическое значение: $d\omega = 0$ (замкнутая форма)

Пример 4:

• Форма: $\omega' = x\,dy\wedge dz$
• Точка: $x'=(1,2,3)$
• Параметр шага: $\varepsilon = 0.01$
• Теоретическое значение: $d\omega' = dx\wedge dy\wedge dz$

Детали реализации

• Язык программирования: SageMath 7
• Открытый код: github.com/TomasSilva/NumericalExteriorDerivative
• Стратегия выборки: Выборка в $\varepsilon$-окрестности точки $x$ вдоль направлений координатных осей
• Структуры данных: Использование антисимметричных тензоров для хранения компонент дифференциальных форм

Сравнение с существующими методами

Работа проводит концептуальное сравнение своего метода с существующими численными методами:

1. Дискретное внешнее исчисление (DEC) 8:
   • Требует дискретизации сетки
   • Вычисления проводятся на дискретном de Rham комплексе
2. Внешнее исчисление конечных элементов (FEEC) 9:
   • Использует пространства конечных элементов
   • Требует структуру сетки
3. Метод данной работы:
   • Без сетки
   • Только доступ к функции как чёрный ящик
   • Прямо основан на определении

Экспериментальные результаты

Результаты Примера 3

Данные выборки (таблица 1): Выборка в 6 точках вокруг $x=(1,1,1)$, получены значения $\omega$ (согласованные с координатами)

Процесс вычисления: $D\omega_x(e_i,e_j) \approx \frac{1}{0.02}(\omega_{x-\varepsilon e_j}[i] + \omega_{x+\varepsilon e_i}[j] - \omega_{x+\varepsilon e_j}[i] - \omega_{x-\varepsilon e_i}[j])$

Численный результат: $D\omega_x = 0\cdot e_1\wedge e_2 + 0\cdot e_1\wedge e_3 + 0\cdot e_2\wedge e_3 = 0$

Проверка: Полностью совпадает с теоретическим значением $d\omega=0$ (численная ошибка равна нулю)

Результаты Примера 4

Данные выборки (таблица 2): Выборка вокруг $x'=(1,2,3)$, получено матричное представление $\omega'$

Процесс вычисления: $D\omega'_x(e_i,e_j,e_k) \approx \frac{1}{0.02}\sum(\text{вклады граней})$

Численный результат: $D\omega'_x = 1\cdot e_1\wedge e_2\wedge e_3$

Проверка:

• Теоретическое значение: $d(x\,dy\wedge dz) = dx\wedge dy\wedge dz$
• Численная ошибка: $(1.01-0.99)/0.02 = 1.00$, полностью точно

Экспериментальные выводы

1. Численная точность: При выбранном $\varepsilon=0.01$ алгоритм даёт результаты, точные до машинной точности
2. Вычислительная эффективность:
   • Для $(k-1)$-формы требуется выборка в $2k$ точках (в положительном и отрицательном направлениях каждой координатной оси)
   • Вычислительная сложность: $O(\binom{n}{k} \cdot k)$ ($\binom{n}{k}$ компонент, каждая требует $O(k)$ выборок)
3. Проверка применимости:
   • Алгоритм корректно возвращает нуль для замкнутых форм ($d\omega=0$)
   • Для нетривиальных внешних производных даёт корректные ненулевые значения
   • Подтверждена согласованность теории и численного метода
4. Выбор параметра шага: $\varepsilon=0.01$ показал хорошие результаты в примерах, но систематическое исследование влияния параметра шага на точность не проведено

Связанные работы

1. Классическая дифференциальная геометрия

• Spivak 6: «Calculus on Manifolds», стандартный учебник внешнего исчисления, требует гладкость $C^1$
• Arnold 4: Предоставляет «физическое» толкование дивергенции, вдохновившее подход через потоки
• Federer 3: Теория нормальных потоков в рамках геометрической теории меры, более сильная теория, но более абстрактный язык

2. Работы Felipe Acker

• 1 The missing link (1996): Первое предложение интерпретации через потоки, доказательство для двумерного случая
• 2 Technical report (2004): Расширение на многообразия, но неполные доказательства
• 5 Португальский учебник (2012): Наиболее полное изложение, но ограничено португальскоязычной аудиторией

Улучшения данной работы относительно работ Acker:

• Строгое обоснование всех доказательств
• Обобщение на общие $k$-формы
• Введение точного определения непрерывности потока
• Разработка численного алгоритма

3. Численные методы

• Дискретное внешнее исчисление (DEC) Hirani 2003:
  • Дискретизация на симплициальных комплексах
  • Сохранение топологической структуры
  • Требует генерацию сетки
• Внешнее исчисление конечных элементов (FEEC) Arnold 2018:
  • Использование пространств конечных элементов
  • Сохранение коммутативности de Rham комплекса
  • Подходит для решения уравнений в частных производных

Уникальность метода данной работы:

• Без сетки или пространств конечных элементов
• Прямо основан на определении дифференциальных форм
• Подходит для «исследовательских» вычислений и сценариев с чёрным ящиком

4. Теорема Стокса при слабой регулярности

• Геометрическая теория меры: Более общие результаты в рамках потоков и нормальных потоков
• Преимущество метода данной работы: Использование элементарного языка, удобство для преподавания и применения

Заключение и обсуждение

Основные выводы

1. Теоретические вклады:
   • Внешняя производная может быть строго определена как «бесконечно малый поток»
   • Теорема о среднем значении в высших измерениях может быть получена в форме равенства
   • Теорема Стокса может быть установлена при тех же условиях регулярности, что и основная теорема исчисления
2. Численные вклады:
   • Предоставлен первый алгоритм численного расчёта внешней производной на основе интерпретации через потоки
   • Алгоритм не требует сетки или символических вычислений
   • На тестовых примерах показывает точные результаты
3. Педагогическая ценность:
   • Предоставляет интуитивное геометрическое толкование внешней производной
   • Унифицирует подход к одномерному и многомерному случаям
   • Подходит для преподавания на уровне старших курсов бакалавриата или магистратуры

Ограничения

1. На теоретическом уровне:
   • Необходимые и достаточные условия для непрерывности потока не полностью охарактеризованы
   • Связь с более сильными результатами в геометрической теории меры не глубоко исследована
   • Теория когомологий, индуцированная $D$, не развита
2. На численном уровне:
   • Отсутствует систематический анализ стратегии выбора параметра шага $\varepsilon$
   • Отсутствуют оценки ошибок и анализ сходимости
   • Отсутствует количественное сравнение с DEC и FEEC
   • Вычислительная сложность растёт экспоненциально с размерностью
3. Экспериментальная проверка:
   • Предоставлены только два простых примера в $\mathbb{R}^3$
   • Не проведено тестирование на высокомерных или сложных геометриях
   • Вопросы численной устойчивости не рассмотрены
4. Область применения:
   • Основной фокус на евклидовом пространстве, обобщение на многообразия не подробно описано
   • Обработка недифференцируемых точек ограничена

Направления будущих исследований

Работа предлагает или подразумевает следующие направления исследований:

1. Теоретическое углубление:
   • Исследование теории когомологий, индуцированной $D$
   • Связь со стандартной de Rham когомологией
   • Полная теория на многообразиях
2. Численные улучшения:
   • Алгоритмы адаптивного выбора параметра шага
   • Доказательства оценок ошибок и сходимости
   • Численные схемы высокого порядка
   • Систематическое сравнение с существующими методами
3. Расширение приложений:
   • Приложения в вычислительной геометрии
   • Физическое моделирование (жидкости, электромагнитные поля)
   • Анализ данных с использованием дифференциальных форм

Глубокая оценка

Достоинства

1. Теоретическая новизна:
   • Глубокое ключевое понимание: Интерпретация внешней производной как потока элегантна и естественна
   • Унифицирующая структура: Единый подход к обработке всех случаев от 1 до $n$ измерений
   • Техническая строгость: Исправлены недостатки строгости в оригинальной работе Acker
   • Ценность обобщения: Концепция непрерывности потока может иметь более широкое применение
2. Методологические преимущества:
   • Элементарная доступность: Избежание сложного языка современной геометрической теории меры
   • Конструктивные доказательства: Итеративное применение леммы о трисекции обеспечивает практическую конструкцию
   • Естественное обобщение: Расширение от 1 к высшим измерениям очень естественно
3. Практическая ценность:
   • Новый алгоритм: Первый алгоритм численного расчёта внешней производной на основе потоков
   • Простая реализация: Алгоритм ясен и легко реализуется
   • Открытый код: Предоставлена реализация на SageMath, воспроизводимость обеспечена
4. Качество изложения:
   • Ясная структура: От мотивации к теории к приложениям, логичная иерархия
   • Богатые примеры: Пример 1 демонстрирует форму с непрерывным потоком, но разрывную
   • Удобство для преподавания: Подходит как дополнение к учебным материалам

Недостатки

1. Теоретическая полнота:
   • Поверхностный анализ: Характеристика непрерывности потока недостаточно исследована
   • Отсутствие теории когомологий: Теорема 7 указывает $D^2=0$, но соответствующая теория когомологий не развита
   • Оптимальность неизвестна: Не обсуждается, являются ли условия минимальными
2. Недостатки численного метода:
   • Отсутствие анализа ошибок: Нет доказательств сходимости или границ ошибок
   • Эвристический выбор параметра: Выбор $\varepsilon$ лишён теоретического обоснования
   • Неизученная устойчивость: Робастность к ошибкам округления и патологическим случаям неизвестна
   • Проблема эффективности: Сложность $O(\binom{n}{k})$ неприемлема в высоких измерениях
3. Недостаточная экспериментальная проверка:
   • Слишком простые примеры: Только два низкомерных простых примера
   • Отсутствие сравнения: Нет количественного сравнения с DEC и FEEC
   • Неизмеренная производительность: Время вычисления, использование памяти не отчитаны
   • Неизученная робастность: Чувствительность к шуму и разрывам не проверена
4. Проблемы в изложении:
   • Сложное Определение 11: Условие предела $L(B)/l(B)<K$ требует более ясного геометрического объяснения
   • Многословный Пример 1: Проверка непрерывности потока чрезмерно детальна
   • Перегруженность символов: Одновременное использование $d$ и $D$ может вызвать путаницу

Оценка влияния

1. На область дифференциальной геометрии:
   • Среднее влияние: Предоставляет новую перспективу, но не изменяет основную структуру
   • Высокая педагогическая ценность: Вероятно будет включено в учебные материалы как дополнение
   • Вдохновение для будущих исследований: Подход через потоки может стимулировать новые направления
2. На область численного анализа:
   • Потенциальное влияние: Открывает новое направление в численном расчёте внешней производной без сетки
   • Практичность требует проверки: Необходимы дополнительные приложения для демонстрации полезности
   • Дополнение к основным методам: Не замена DEC/FEEC, а дополнительный инструмент
3. Междисциплинарная ценность:
   • Физическая интуиция: Интерпретация через потоки привлекательна для физиков
   • Вычислительная геометрия: Может применяться к расчёту дифференциальных операторов на поверхностях
   • Наука о данных: Расчёт дифференциальных форм при обучении многообразиям
4. Воспроизводимость:
   • Открытый код: Реализация на SageMath доступна
   • Ясный алгоритм: Алгоритм 2 легко переимплементировать
   • Простые тестовые примеры: Примеры 3 и 4 легко проверить

Оценка применимости

Для теоретических исследований:

• Преподавание дифференциальной геометрии (старшие курсы бакалавриата/магистратура)
• Анализ при слабой регулярности
• Развитие геометрической интуиции дифференциальных форм

Для численных расчётов:

• Сложные геометрии, где построение сетки затруднено
• Сценарии с чёрным ящиком (только выборка данных)
• Исследовательские вычисления и прототипирование
• Низкомерные задачи ($n\leq 4$, $k\leq 2$)

Неприменимые сценарии:

• Высокомерные высокопорядковые задачи (комбинаторный взрыв)
• Инженерные расчёты, требующие высокой точности
• Вычисления в реальном времени (недостаточная эффективность)
• Стандартные задачи с хорошей сеткой

Общая оценка

Это работа с красивой теорией и глубокими идеями, но недостаточной экспериментальной проверкой. Её основная ценность заключается в:

1. Систематизации и строгом обосновании открытий Acker
2. Предоставлении интуитивного геометрического толкования внешней производной
3. Открытии нового направления в численном расчёте внешней производной без сетки

Однако как работа, содержащая численные методы, экспериментальная часть слишком слаба. В идеале следовало бы:

• Предоставить больше тестов на различных размерностях и порядках
• Провести систематический анализ ошибок и сходимости
• Количественно сравнить с существующими методами
• Протестировать на реальных приложениях

Рекомендуемая аудитория:

• Исследователи в области дифференциальной геометрии и преподаватели
• Специалисты по численному анализу, интересующиеся дифференциальными формами
• Исследователи приложений, нуждающиеся в операторах дифференциальных форм как в чёрном ящике

Оценка (субъективная):

• Теоретическая новизна: 8/10
• Техническая строгость: 9/10
• Достаточность экспериментов: 4/10
• Качество изложения: 8/10
• Практическая ценность: 6/10
• Общая оценка: 7/10

Список литературы

Ключевые работы, цитируемые в статье:

1. Acker, F. (1996): The missing link. The Mathematical Intelligencer — первое предложение интерпретации через потоки
2. Acker, F. (2012): Análise Vetorial Clássica — наиболее полное португальское изложение
3. Federer, H. (1996): Geometric Measure Theory — стандартный справочник по геометрической теории меры
4. Spivak, M. (1965): Calculus on Manifolds — классический учебник
5. Hirani, A.N. (2003): Discrete exterior calculus (PhD thesis) — основополагающая работа по DEC
6. Arnold, D.N. (2018): Finite Element Exterior Calculus — монография по FEEC

Резюме рецензента: Это работа с высокой теоретической ценностью, успешно предоставляющая новую геометрическую перспективу на внешнюю производную и первоначально исследующая численные приложения. Теоретическая часть строга и элегантна, но численная часть требует значительного усиления для достижения практического влияния. Рекомендуется читателям обратить внимание на теоретические идеи, но относиться с осторожностью к численным методам, ожидая более полной проверки.