리만가설 관련해서 예전에 정리하던 거 중에
“도메인 카빙” 관점만 간단히 써봄 (수식 최소)

(프리프린트 주소 : https://zenodo.org/records/8001808)


  1. 시작점

리만 제타함수는

ζ(s) = 1/1^s + 1/2^s + 1/3^s + ...

이건 다 알지

근데 이걸 그냥 급수로 보면 안 되고
“정의역을 가진 구조”로 봐야 됨

  1. 도메인 카빙

복소수 s = a + b i 라고 하면

영역을 이렇게 자름

  • Re(s) > 1 → 수렴 영역

  • 0 < Re(s) < 1 → critical strip

  • Re(s) < 0 → analytic continuation 영역

이게 핵심 분할임

  1. 프리프린트에서 썼던 형태 하나 가져오면

(대충 정리하면 이런 구조였음)

2 ≤ a² + b² ≤ 2^(a+b-1)

이걸 뒤집어서 보면

1 / (2^(a+b)) ≤ 1 / (a² + b²)

이런 식으로 “크기 비교”가 가능해짐

  1. 이걸 ζ(s)에 넣으면

ζ(s) = Σ 1 / n^s

여기서 n^s = n^(a+bi)

= n^a · n^(bi)

즉 magnitude는 대략

|1 / n^s| ≈ 1 / n^a

결국 핵심은 a = Re(s)임

  1. 여기서 도메인 카빙 의미가 나옴

  • a > 1 → Σ 1/n^a 수렴

  • a ≤ 1 → 구조가 깨지기 시작

즉

Re(s) = 1

이게 1차 경계

  1. 근데 symmetry가 있음

프리프린트에서도 썼던 핵심 아이디어가 이거

ζ(s) ≈ ζ(1 - s)

(정확히는 functional equation인데 직관만 보면 됨)

그러면

s ↔ 1 - s

즉

a ↔ 1 - a

  1. 그래서 domain carving 결과

  • 오른쪽 영역 (Re(s)>1)

  • 왼쪽 영역 (Re(s)<0)

이 둘이 서로 대응됨

그럼 가운데는?

Re(s) = 1/2

  1. 결론 (직관)

전체 영역을 자르면

Re(s) > 1 → 안정
Re(s) < 0 → 변환된 영역
0 < Re(s) < 1 → transition

그리고 symmetry 때문에

“중앙선”이 생김

Re(s) = 1/2

  1. 요약

리만가설을 이렇게 볼 수도 있음

“ζ(s)를 정의역 기준으로 잘라보면
대칭 구조 때문에 중심선 Re(s)=1/2가 생기고
zero들이 거기에 정렬된다”

수식 복잡하게 안 가고 보면
그냥 ‘도메인 구조 + 대칭’ 문제임