[논문 리뷰] Is the log-law a first principle result from Lie-group invariance analysis?

Michael Frewer, George Khujadze외 1명|arXiv (Cornell University)|2014. 12. 04.

Fluid Dynamics and Turbulent Flows참고 문헌 43인용 수 7

한 줄 요약

이 논문은 벽에 둘러싸인 유동에서 난류의 통계적 스케일링 법칙, 특히 로그법칙을 제1원리로부터 유도할 수 있다는 주장을 비판적으로 평가한다. Lie군 불변성 분석이 이론적 기반을 제공한다는 주장에 대해, Oberlack(2001)의 유도 과정이 기술적 오류를 포함하고 있으며, 엄밀한 보편 법칙이 아니라 임의적이고 유일하지 않은 결과를 도출함으로써 이 방법의 난류 스케일링 법칙에 대한 제1원리 프레임워크로서의 신뢰성을 떨어뜨린다.

ABSTRACT

The invariance method of Lie-groups in the theory of turbulence carries the high expectation of being a first principle method for generating statistical scaling laws. The purpose of this comment is to show that this expectation has not been met so far. In particular for wall-bounded turbulent flows, the prospects for success are not promising in view of the facts we will present herein. Although the invariance method of Lie-groups is able to generate statistical scaling laws for wall-bounded turbulent flows, like the log-law for example, these invariant results yet not only fail to fulfil the basic requirements for a first principle result, but also are strongly misleading. The reason is that not the functional structure of the log-law itself is misleading, but that its invariant Lie-group based derivation yielding this function is what is misleading. By revisiting the study of Oberlack (2001) we will demonstrate that all Lie-group generated scaling laws derived therein do not convince as first principle solutions. Instead, a rigorous derivation reveals complete arbitrariness rather than uniqueness in the construction of invariant turbulent scaling laws. Important to note here is that the key results obtained in Oberlack (2001) are based on several technical errors, which all will be revealed, discussed and corrected. The reason and motivation why we put our focus solely on Oberlack (2001) is that it still marks the core study and central reference point when applying the method of Lie-groups to turbulence theory. Hence it is necessary to shed the correct light onto that study. Nevertheless, even if the method of Lie-groups in its full extent is applied and interpreted correctly, strong natural limits of this method within the theory of turbulence exist, which, as will be finally discussed, constitute insurmountable obstacles in the progress of achieving a significant breakthrough.

연구 동기 및 목표

• Lie군 불변성 분석이 난류의 통계적 스케일링 법칙을 제1원리적으로 유도할 수 있다는 널리 퍼진 믿음을 도전하기 위해.
• 난류 비틀림 흐름에서 대칭성에 관한 Oberlack(2001)의 획기적인 연구에서 기술적 오류를 규명하고 수정하기 위해.
• Lie군 기반의 로그법칙 유도가 고유하지 않으며 제1원리 결과의 기준을 충족하지 못함을 입증하기 위해.
• 벽에 둘러싸인 난류 흐름에 대한 보편 스케일링 법칙을 도출하는 데서 Lie군 방법의 근본적 한계를 폭 드러내기 위해.
• 정확한 적용이 이루어져도 난류 이론의 돌파구를 이룰 수 없는 자연적 한계에 직면해 있음을 주장하기 위해.

제안 방법

• Navier-Stokes 방정식에 대해 Lie군 불변성 방법을 사용하여 Oberlack(2001)의 불변 스케일링 법칙을 재검토하였다.
• 기호 계산 도구(예: Maple의 gendef 및 pdesolv)를 활용하여 대칭 생성자에 대한 결정 시스템을 재구성하였다.
• 기존 유도 과정에서 기능적 의존성과 대칭 조건 처리에 있어 기술적 오류를 규명하고 수정하였다.
• 유도된 스케일링 법칙의 배경에 있는 임의성을 드러내기 위해 대칭 생성자를 임의 함수의 형태로 재표현하였다.
• 완전한 결정 방정식 세트를 재구성하고 이를 해결하여 불변 해의 비유일성을 폭 드러내었다.
• 결과적으로 도출된 스케일링 법칙이 임의 함수에 의존함을 입증하여, 제1원리 결과로서의 지위를 약화시켰다.

실험 결과

연구 질문

• RQ1 Lie군 불변성 분석은 벽에 둘러싸인 난류 흐름에 대해 고유하고 제1원리적인 스케일링 법칙을 도출할 수 있는가?
• RQ2 Oberlack(2001)의 Lie 대칭을 통한 로그법칙 유도 과정에서 기술적 오류는 무엇인가?
• RQ3 이론적으로는 유망한데도 불구하고 Lie군 방법이 고유한 불변 스케일링 법칙을 도출하지 못하는 이유는 무엇인가?
• RQ4 Lie 불변성에 의해 도출된 로그법칙은 어느 정도 제1원리 결과로서 신뢰할 수 있는가?
• RQ5 난류 이론의 맥락에서 Lie군 방법의 근본적 한계는 무엇인가?

주요 결과

• Oberlack(2001)에서 Lie군 불변성에 기반한 로그법칙 유도 과정은 여러 기술적 오류를 포함하고 있어 제1원리 결과로서의 주장을 무효화한다.
• 대칭 분석을 통해 도출된 스케일링 법칙이 고유하지 않으며, 임의 함수에 의존함을 확인하여 수학적 엄밀성의 결여를 드러낸다.
• 수정된 후에도 이 방법은 Navier-Stokes 방정식에 의해 유일하게 결정되지 않는 해를 도출하므로, 제1원리 법칙으로서의 지위를 상실한다.
• 로그법칙 자체의 기능적 구조는 오해의 여지가 없지만, 불변 유도 과정이 본질적으로 오류가 있으며 오도의 원인이 된다.
• 정확하게 적용된다고 해도 Lie군 방법은 난류 경계층에 대한 보편 스케일링 법칙을 도출하는 데 있어 극복할 수 없는 자연적 한계를 지닌다.
• 본 연구는 이 방법이 초기 가능성에도 불구하고 난류 스케일링 법칙에 대한 견고한 제1원리 프레임워크로 기능할 수 없다고 결론내린다.