도로테 하로스케: 매끄러움의 기하학

예나 대학교(University of Jena)에는 일반적인 해석학이 아닌 함수 공간이라는 단일하고 깊이 있는 기술적 주제만을 다루는 석좌가 있습니다. 이 석좌는 한스 트리벨(Hans Triebel)에 의해 설립되었으며, 그의 이름은 해당 공간의 두 가지 주요 분류 척도 중 하나에 붙어 있습니다. 도로테 하로스케는 1995년 트리벨의 지도하에 박사 학위를 받았으며, 현재 그 석좌를 맡아 50년 넘게 중단 없이 이어져 온 연구 그룹을 이끌고 있습니다. 이들의 연구는 '무한히 많은 가능한 함수들을 매끄러움의 정도에 따라 어떻게 분류할 것인가, 그리고 분류 후에는 무엇이 따르는가'라는 질문에 집중되어 있습니다.

예나, 거의 중단 없는 여정

하로스케는 1968년 독일에서 태어났습니다. 그녀는 1992년 프리드리히 실러 예나 대학교(Friedrich Schiller University Jena)에서 학업을 마치고, 1995년 박사 학위를, 2002년 교수 자격(habilitation)을 취득했습니다. 2003년부터 2006년까지 예나에서 프랙탈 해석에 관한 주니어 연구 그룹을 이끌었습니다. 2010년 예나에서 첫 교수직을, 2017년 로스토크 대학교(University of Rostock)에서 두 번째 교수직을 맡았으며, 2018년에는 세 번째로 예나의 함수 공간 석좌 교수로 복귀했습니다. 발트해 연안에서 보낸 1년을 제외하면, 그녀의 전체 경력은 단일 대학 학과에서 단일한 문제들을 연구하는 데 바쳐졌습니다. 끊임없는 학문적 이동이 요구되는 시대에 이는 한계일 수도, 집중의 형태일 수도 있는데, 그녀의 연구 성과는 후자임을 시사합니다.

함수 공간의 용도

이 주제는 매우 추상적으로 들리지만 실제로는 매우 실용적입니다. 예를 들어 열 방정식이나 막을 설명하는 타원형 경계값 문제와 같은 미분 방정식을 풀고 싶다고 가정해 봅시다. 이때 해가 어떤 종류의 객체인지 알아야 합니다. 몇 번 미분 가능한지, 유계인지, 연속인지 등을 파악해야 합니다.

함수 공간은 함수를 매끄러움과 크기에 따라 그룹화하여 이러한 질문에 답합니다. 소볼레프 공간(Sobolev spaces)이 첫 번째 큰 성공을 거두었습니다. 이후 개발된 베소프(Besov) 및 트리벨-리조르킨(Triebel–Lizorkin) 척도는 더 정교한 도구입니다. 이는 매끄러움을 분수 단위로 지정하고 다양한 방식으로 측정할 수 있게 해주는 매개변수로 인덱싱된 공간들의 집합입니다. 하로스케의 그룹은 이러한 공간의 일반 이론을 연구하며, 원자, 쿼크, 웨이블릿을 통한 분해, 일반화된 매끄러움을 가진 공간, 방향에 따라 매끄러움이 다른 이방성 공간, 가중 공간, 그리고 전체 유클리드 공간이 아닌 영역에 정의된 공간 등을 다룹니다.

엔트로피 수

트리벨의 지도하에 작성된 그녀의 박사 학위 논문은 가중 함수 공간에서의 엔트로피 수와 근사 수, 그리고 이들과 고윳값 분포의 관계를 다루었습니다. 이 아이디어의 연쇄는 그녀 연구의 핵심이며 살펴볼 가치가 있습니다.

임베딩(Embedding)은 한 공간의 모든 함수가 자동으로 다른 공간에 속한다는 진술, 즉 특정 정도의 매끄러움이 특정 정도의 좋은 성질을 강제한다는 것을 의미합니다. 흥미로운 임베딩은 콤팩트한데, 이는 첫 번째 공간이 단순히 두 번째 공간에 포함되는 것을 넘어 그 안으로 압축됨을 의미합니다. 엔트로피 수는 이 압축이 얼마나 단단한지를 정확히 측정합니다. 즉, 단위 공의 이미지를 덮기 위해 얼마나 많은 작은 공이 필요한지를 측정합니다. 근사 수는 이와 관련된 것으로, 임베딩이 유한 계수 연산자에 의해 얼마나 잘 모방될 수 있는지를 측정합니다.

그 결과는 스펙트럼으로 나타납니다. 임베딩의 엔트로피 수를 날카롭게 제한할 수 있다면, 해당 공간 위에 구축된 미분 연산자의 고윳값을 제한할 수 있습니다. 고윳값은 물리적으로 의미 있는 양, 즉 드럼의 공진 주파수, 시스템의 에너지 준위, 확산의 감쇠율 등을 나타냅니다. 한 공간이 다른 공간 안에 어떻게 위치하는지에 대한 순수 기하학적 측정은 물리적 객체가 어떻게 진동하는지에 대한 진술로 번역됩니다. 하로스케는 30년 동안 이 번역을 더 날카롭게 만드는 데 힘써왔습니다.

프랙탈

그녀가 2003년부터 이끈 프랙탈 해석 그룹은 더 거친 지형에서 같은 기계를 추구했습니다. 고전 해석학은 구간, 원판, 깔끔한 경계를 가진 잘 정의된 영역과 같은 매끄러운 영역에서 작동합니다. 프랙탈은 무한히 꼬인 경계, 비정수 차원, 접평면의 부재 등 이러한 특징이 전혀 없습니다. 프랙탈 위에 함수 공간을 구축하고 그 위에 정의된 연산자에 대한 스펙트럼 이론을 수행하려면, 어디에서도 매끄러움을 가정하지 않는 기초부터 이론을 재구축해야 합니다. 그녀의 그룹은 국소 매끄러움 이론, 베소프 정칙성, 푸리에 해석, 근사 이론, 비선형 경계값 문제와 함께 프랙탈 공간 및 그 위의 연산자 스펙트럼 이론을 계속 연구하고 있습니다.

저서

그녀는 2007년 《함수 공간의 엔벨로프와 날카로운 임베딩(Envelopes and Sharp Embeddings of Function Spaces)》을 저술했습니다. 이 주제는 경계선에 관한 것입니다. 표준 임베딩 정리가 간신히 성립하거나 간신히 실패하는 경우, 그리고 거친 추정치가 아무런 유용한 정보를 주지 못하는 경우를 다룹니다. 엔벨로프 함수는 그러한 한계 사례에서 함수가 얼마나 나쁘게 행동할 수 있는지를 정확히 설명하는 도구입니다. 2008년에는 트리벨과 함께 《분포, 소볼레프 공간, 타원 방정식(Distributions, Sobolev Spaces, Elliptic Equations)》을 출판했는데, 이는 일반 이론에서 그것이 해결하고자 하는 미분 방정식으로 독자를 안내하는 대학원 교재입니다. 또한 2003년에는 《한스 트리벨 기념집(Hans Triebel Anniversary Volume)》을 편집했습니다.

코페르니쿠스상

2026년 하로스케와 폴란드 수학자 레셰크 스크지프차크(Leszek Skrzypczak)는 수학적 해석학 분야에서의 공동 연구를 인정받아 폴란드-독일 과학 협력의 탁월한 업적에 수여되는 코페르니쿠스상(Copernicus Award)을 받았습니다. 이는 개인보다는 협력에 수여되는 상으로, 장기간의 파트너십을 바탕으로 구축된 그녀의 경력과 잘 어울립니다.

도로테가 천재라 불리는 이유

어떤 문서화된 의미에서도 그녀는 천재가 아닙니다. 여기서 검토된 어떤 출처도 그 단어를 사용하지 않으며, 코페르니쿠스상 인용문은 개인의 탁월함이 아닌 협력과 공동의 성취를 기리고 있습니다. 일반적인 유통 과정에서 '하로스케 정리'는 존재하지 않으며, 그녀의 가장 많이 인용된 연구는 박사 지도 교수와 공동 저술한 것입니다.

그녀의 기록이 보여주는 지적 품질은 경계에서의 정밀함입니다. 함수 공간 이론에서 흥미로운 수학은 결과가 쉽고 추정치가 관대한 매개변수 범위의 편안한 내부가 아니라, 임베딩이 실패하기 직전이며 기존의 모든 도구가 무뎌지는 한계 사례에 있습니다. 반복적으로 그곳에서 작업하기로 선택하고, 특히 그러한 사례를 위해 엔벨로프나 날카로운 엔트로피 추정치와 같은 도구를 구축하는 것은 독특한 수학적 취향입니다. 이는 마지막 소수점 자리까지 고집하는 해석학자의 태도와 같으며, 바로 그곳에 실제적인 어려움이 존재합니다.

반대 사례는 분명하며 그녀 자신도 그렇게 말할 것입니다. 그녀의 업적은 30년에 걸쳐 누적된 것이며, 트리벨, 스크지프차크, 그리고 그녀가 설립한 것이 아니라 물려받은 연구 그룹과의 철저한 협력을 통해 이루어졌습니다. 또한 함수 공간 이론은 활동하는 실무자들이 경기장이 아닌 강의실을 채울 수 있을 정도의 매우 전문화된 하위 분야입니다. 그녀는 깊고 좁은 분야의 선도적인 인물이며, 이에 대한 정직한 설명은 개인의 번뜩임이 아닌 바로 이러한 인내심 있는 작업을 통해 발전하는 학문 분야에서 지속적인 탁월함을 보여준다는 것입니다.

유산

하로스케의 가장 중요한 업적은 관리자로서의 역할일지도 모릅니다. 예나 함수 공간 그룹은 수학적 해석학 분야에서 가장 오래 지속된 연구 프로그램 중 하나이며, 그녀는 창립자로부터 이를 이어받아 프랙탈, 가중 공간, 일반화된 매끄러움으로 확장하며 분야의 최전선에 유지했습니다. 그녀의 저서는 이 분야에 입문하는 모든 이들에게 표준 참고 문헌입니다. 그리고 그녀가 날카롭게 다듬은 도구인 고윳값을 지배하는 엔트로피 수는 누군가가 매끄럽기를 거부하는 영역에서 미분 연산자가 어떻게 행동하는지 알아야 할 때마다 조용하고 보이지 않는 역할을 계속하고 있습니다.