다항식으로 근사하기 어려운 연속 함수의 예


16

교육 목적을 위해 다항식과 근사하기에는 "어려운"단일 변수의 연속 함수가 필요합니다. 즉,이 함수를 "적합"하려면 파워 시리즈에서 매우 높은 파워가 필요합니다. 나는 학생들에게 파워 시리즈로 달성 할 수있는 것의 "제한"을 보여 주려고합니다.

나는 "소음을"뭔가를 concocting에 대해 생각하는 대신 내 자신의 압연의 난 그냥 사람들에게 다소 유사하게, 근사 / 보간 알고리즘을 테스트하기 위해 사용하는 표준 "어려운 기능"의 종류가 있는지 궁금 최적화 테스트 기능 여러가 순진한 알고리즘이 쉽게 고착되는 로컬 최소값

이 질문이 제대로 구성되지 않은 경우 사과합니다. 비 수학자에게 자비를 베푸십시오.

답변:


14

절대 값 기능을 단순히 보여주지 않겠습니까?

예를 들어 Legendre 다항식 확장을 사용한 근사법은 작동하지만 꽤 나쁘다 .

다항식에 의한 절대 값 함수의 순차적 근사

Taylor 확장은 물론 여기서는 완전히 쓸모가 없으며 항상 선형 함수 만 제공합니다. 항상 감소하거나 항상 증가합니다 (확장 지점이 음수인지 양수인지에 따라 다름).


| x |를 보간 할 수 있습니다 Chebyshev 보간을 사용 하는 경우 nbviewer.jupyter.org/github/cpraveen/na/blob/master/… 를 참조하십시오 . 예를 들어 코드에서 N = 2 * i를 N = 15 + i로 변경하고 더 큰 정도를 테스트 할 수 있습니다. 확장 방법은 아니지만 여전히 다항식을 기반으로합니다.
cfdlab

x=0L2

체비 쇼프 보간에서와 같이 불균일 한 점을 갖는 것이 완벽합니다. 20도 정도이면 게시물에 표시되는 Legendre보다 훨씬 더 정확한 근사치를 제공합니다. 오차를 더 정량적으로 측정하십시오. | x |의 Chebyshev 계열 근사를 수행 할 수도 있습니다. Legendre 확장보다 더 정확합니다.
cfdlab

x|x|

우리는 완벽한 방법이 없다는 것을 알고 있습니다. 문제는 다항식이 어떤 함수를 근사하기에 어려운지입니다. 따라서 다항식과 관련된 모든 가능한 방법을보고 그 중 어느 것도 좋은 일을하지 못한다는 결론을 내야합니다. Legendre는 | x |를 근사하는 가장 좋은 방법은 아닙니다 따라서 다항식이 | x |에 대해 너무 나쁘다는 잘못된 인상을줍니다. Chebyshev를 사용하면 Legendre보다 수렴 및 훨씬 더 가까운 근사값을 가지므로 Legendre만큼 심하게 진동하지는 않지만 x = 0 근처에서 천천히 수렴하지만 함수가 충분히 부드럽 지 않습니다.
cfdlab


6

근사값은 근사되는 함수에 의해서가 아니라 근사값이 "적합"해야하는 간격에 의해 어려워집니다. 그리고 "적합한"척도를 정의해야합니다. 즉, 허용하려는 최대 (절대 또는 상대) 오류는 무엇입니까?

exp(x)[0,10]sin(x)[0,2π]여기에 이미지 설명을 입력하십시오여기에 이미지 설명을 입력하십시오


필자는 코스 확장에서 Taylor 확장이 함수를 근사화하는 좋은 방법이 아니라는 점을 보여주기 위해 이러한 예제를 보여줍니다.
cfdlab

6

다항식은 놀랍게도 함수 근사화에서 효과적입니다 [1]. Lipschitz 연속성이 최소한 있으면 Chebyshev 근사값이 수렴됩니다. 물론 수렴이 느려질 수 있으며 이는 비 매끄러운 기능을 처리하기 위해 지불하는 가격입니다.

오늘날 컴퓨터는 많은 수치 분석 서적을 작성했던 날보다 훨씬 빠르며 영리한 알고리즘으로 속도가 더 빨라지므로 더 많은 용어를 사용해야하는 것이 예전만큼 나쁘지 않을 수 있습니다.

Weierstrass 괴물 기능과 같은 병리학적인 예는 이론적 인 관점에서 흥미롭지 만 대부분의 실제 적용 상황을 대표하지는 않습니다.

|x|x=0

다항식으로 근사하는 데 어려움을 가르치는 것이 중요하지만 학생들에게 이러한 문제를 해결할 수있는 오류 추정 및 적응 형 알고리즘을 만들 수 있다고 알려주는 것도 중요합니다.

[1] https://people.maths.ox.ac.uk/trefethen/mythspaper.pdf

[2] http://www.chebfun.org


주제 IMO에 대한 훌륭한 조사 인 로이드 트레 페텐 (Lloyd Trefethen)의 "신화 논문"을 연결 한 +1 덕분
Laryx Decidua

2

f(x)=1x2+1

1x2+1=1x2+x4x6+x8x10+x12

1<x<1x=0x=2


당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.