[논문 리뷰] The Use of Computer Algebra in Maxwell's Theory

R. A. Puntigam, E. Schrüfer외 1명|arXiv (Cornell University)|1995. 03. 14.

Black Holes and Theoretical Physics참고 문헌 10인용 수 12

한 줄 요약

이 논문은 외부 미분 형식의 언어를 사용하여 맥스웰 방정식과 전자기 에너지-운동량을 기반으로 한 컴퓨터 대수 프로그램을 제시한다. 이는 곡률이 있는 시공간과 관성계가 아닌 기준계에서 좌표계 및 메트릭에 종속되지 않는 계산을 가능하게 한다. 이 접근법은 복잡한 전자기역학 문제를 단순화시키며, 쿨롱 필드와 킬러–뉴먼 시공간과 같은 해를 통해 이를 입증한다.

ABSTRACT

We present a small computer algebra program for use in Maxwell's theory. The Maxwell equations and the energy-momentum current of the electromagnetic field are formulated in the language of exterior differential forms. The corresponding program can be applied (in the presence of a gravitational field) in curved Riemannian spacetime as well as in flat Minkowski spacetime in inertial or {\em non-inertial} frames. Our program is written for the computer algebra system REDUCE with the help of the EXCALC package for exterior differential forms.\par The two major advantages of this modern approch to electrodynamics --- the natural formulation, free of both metric and coordinates, and the straightforward programming of problems --- are illustrated by examining a number of examples ranging from the Coulomb field of a static point charge to the Kerr--Newman solution of the Einstein--Maxwell equations.

연구 동기 및 목표

• 외부 미분 기하학을 사용하여 좌표계 및 메트릭에 종속되지 않는 맥스웰 이론의 수식을 개발하기 위해.
• 평탄한 미ン코프스키 시공간과 곡률이 있는 리만 시공간 모두에서 전자기장과 에너지-운동량을 효율적으로 계산할 수 있도록 하기 위해.
• 상대론적 전자기역학에 매우 중요한 관성계가 아닌 기준계로의 적용 범위를 확장하기 위해.
• 일반 상대성 이론에서 복잡한 장 이론 계산을 단순화하는 데 컴퓨터 대수학의 유용성을 입증하기 위해.
• 아인슈타인-맥스웰 시스템을 연구하는 연구자들이 실용적이고 재사용 가능한 프로그램을 제공하기 위해.

제안 방법

• 외부 미분 형식을 사용하여 맥스웰 방정식과 전자기 에너지-운동량 흐름을 수립하기 위해.
• 외부 미분 형식을 위한 컴퓨터 대수 시스템 REDUCE와 EXCALC 패키지를 사용하여 형식을 구현하기 위해.
• 미분 형식의 좌표에 종속되지 않는 성질을 활용하여 평탄한 시공간과 곡률이 있는 시공간 기하학을 통일적으로 다루기 위해.
• 정적 및 회전하는 블랙홀 메트릭을 포함한 다양한 시공간 배경에서 필드 해를 계산하기 위해 프로그램을 적용하기 위해.
• 기호 계산을 활용하여 텐서와 형식의 변환을 자동화하여 복잡한 유도 과정에서의 수동 실수를 줄이기 위해.
• 방정식의 기하학적 구조를 유지함으로써 관성계와 관성계가 아닌 기준계 모두와의 호환성을 확보하기 위해.

실험 결과

연구 질문

• RQ1 컴퓨터 대수 시스템에서 외부 미분 기하학을 어떻게 활용하여 임의의 시공간 기하학에서 맥스웰 방정식을 보다 간편하게 수립할 수 있는가?
• RQ2 좌표계 및 메트릭에 종속되지 않는 접근법이 상대론적 전자기역학에서 계산 효율성과 명료성을 어떻게 향상시키는가?
• RQ3 동일한 기호 프레임워크가 평탄한 시공간과 곡률이 있는 시공간 해, 특히 킬러–뉴먼 메트릭까지 모두 처리할 수 있는가?
• RQ4 REDUCE에서 EXCALC를 사용하면 관성계가 아닌 기준계에서 전자기장 해를 유도하는 데 어떤 방식으로 도움이 되는가?
• RQ5 기존의 텐서 기반 또는 성분 기반 접근법에 비해 이 방법이 아인슈타인-맥스웰 시스템을 해결하는 데 실질적인 이점은 무엇인가?

주요 결과

• 프로그램은 외부 미분 형식을 사용하여 좌표계 및 메트릭에 종속되지 않는 방식으로 맥스웰 방정식과 전자기 에너지-운동량 흐름을 성공적으로 수립하였다.
• 이 접근법은 평탄한 미ン코프스키 시공간과 곡률이 있는 리만 시공간, 비관성 기준계를 포함한 일관된 계산을 가능하게 하였다.
• REDUCE와 EXCALC를 사용한 구현은 자동 기호 변환을 가능하게 하여 수동 계산에서 오류가 발생할 여지를 크게 줄였다.
• 기본 문제들에 대한 검증이 이루어졌으며, 이는 정적 점 전하의 쿨롱 필드와 킬러–뉴먼 해를 포함하였다.
• 외부 미분 기하학의 사용은 장 방정식과 보존 법칙의 도출을 단순화시켜 개념적 명료성과 계산 명료성을 향상시켰다.
• 이 프레임워크는 전자기장을 지닌 회전하는 블랙홀과 같은 복잡한 기하학을 다룰 수 있는 강력함을 보였다.