Professional Documents
Culture Documents
hugo.carreira@rai.usc.gal
12 de marzo de 2022
Tarefa 1
Persoa anterior Pablo Lobato Rey
Autor do presente Hugo Carreira Rial
Persoa posterior Tom Willemse Ríos
1
Índice
I. Introducción 3
II. Presentación 3
A. Nome da persoa que realiza o traballo . . . . . . . . . . . . . . . . . . . . . . . . . . 3
B. Título do traballo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
C. Definición matemática da función en «Sage» . . . . . . . . . . . . . . . . . . . . . . . 3
D. Comandos para definir a función e gráfica . . . . . . . . . . . . . . . . . . . . . . . . 4
E. Gráfica e puntos de corte co eixo X . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
F. Xustificación da existencia de solución no intervalo proposto . . . . . . . . . . . . . 4
G. Xustificación da Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
III.Dicotomía 6
A. Número de iterantes de «Dicotomía» e expresión para o seu cálculo . . . . . . . . . 6
B. Comandos para Dicotomía . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
IV. Newton-Raphson 8
A. Comandos de Newton en «Sage» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
B. Gráfica dos iterantes de «Newton» . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
C. Coeficientes de «debuxa_newton» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
VII.ANEXO I. 18
VIII.
Referencias 20
2
I. Introducción
O traballo «Obtención de raíces de funcións dunha variable», que se vai expor a continuación,
consiste na resolución mediante ferramentas de cálculo numérico de raíces de funcións coa axuda
de «SageMath».
O traballo consta de tres apartados diferentes nos que primeiro se vai realizar a proposta de
resolución da función deseñada por min, a resoución da proposta da persoa posterior a min a a
correción da miña proposta realizada pola persoa anterior.
II. Presentación
B. Título do traballo
3
D. Comandos para definir a función e gráfica
−1
0.0
0.2 0.3 0.4 0.5 0.6 0.7
−2
−0.2
−3
−0.4
−4
√ √
Figura 1: Gráfica da función f ( x ) = x · sin ( 1x ) − x3 en dous intervalos diferenetes
Para poder aplicar os métodos de Newton e Dicotomía é necesario demostrar que a función
é contínua no intervalo proposto a estudo ademáis de demostrar que existe unha única raíz
«unicidade» tamén no intervalo proposto, no noso caso o intervalo [0.24 , 0.4]. A función está
formada pola composición de funcións contínuas como son:
√
1. A función x que é contínua en todo o dominio de definición, que é [0, +∞).
2. A función sin ( 1x ) é contínua no intervalo (−∞, 0) ∪ (0, +∞) xa que a función non existe
cando x = 0.
4
√
3. A función x3 é contínua no intervalo [0, +∞) xa que a función non existe cando x ∈
(−∞, 0).
Polo tanto, conclúese que a función é contínua no intervalo (0, ∞), debido á composición de
funcións é contínua.
Para demostrar que existe alomenos unha raíz nese intervalo aplicamos o «Teorema de Bolzano»
que afirma que se nun intervalo [ a, b] se f ( a) · f (b) < 0 entón un c ∈ [ a, b] tal que f (c) = 0. Entón,
como f (0,24) · f (0,4) < 0 entón existe unha raíz nese intervalo.
G. Xustificación da Unicidade
Do mesmo xeito, aplicamos o «Teorema de Rolle» para afirmar que a raíz é única (a unicidade
da raíz). Débese probar que a derivada da función non se anula nese intervalo.
Entón,debemos
√
1 1
3 x sin x cos x
calcular primeiro a derivada da función, que sería a seguinte: − + √ − 3 .
2 2 x x2
O procedemento para o cálculo da derivada non é complexo pero debemos prestar especial
atención á derivación dun producto e a regra da cadea, seguindo a seguinte cita [equ].
√
3 x sin 1x cos 1x
f ′ (x) = − + √ − 3
2 2 x x2
Reorganizando os termos obtemos que f ′ ( x ) é a seguinte:
∄x ∈ [0,24, 0,4] \ f ( x ) = 0
Pódense visualizar as gráficas que permiten apreciar que a derivada non se anula no intervalo
[0.24,0.4].
5
5.0
4.5
4.0
3.5
3.0
III. Dicotomía
Para obter mediante o método de Dicotomía a raíz da función debemos introducir os seguintes
comandos en ’Sage’ ou ’Jupyter’:
6
h(x) = sqrt(x)*sin(1/x) - sqrt(x^3)
dicotomia(h,0.24,0.4)[0:2]
sage: (0.360671680683154, 38) #resultado devolto por Sage
Visualizado o número de iteracións e a raíz, que converxe con 38 iteracións, podemos debuxar
o método de dicotomía con «debuxa_dicotomía» implementado en «resolve.sage». Facémolo cos
seguintes comandos:
debuxa_dicotomia(h,0.24,0.4)
sage:
A función tamén devolve un conxunto de operacións de aproximación á raíz, no cal vemos que
a lonxitude do intervalo vai converxendo a 0, é dicir, a un erro moito máis pequeno que na 1ª
iteración.
7
IV. Newton-Raphson
O método de Newton é un método de converxencia veloz, aínda que non está garantida posto
que a boa escolla do intervalo e do iterante inicial determinará se converxe na raíz esperada ou
que poida chegar a non converxer.
newton(h(x),diff(h),0.27)[0:2]
sage: (0.360671680683038, 5) #resultados proporcionados por ’Sage’
debuxa_newton(h,diff(h),0.24,0.24,0.6,error_on_M = True)
debuxa_newton(h,diff(h),0.34,0.34,0.39,error_on_M = True)
debuxa_newton(h,diff(h),0.35,0.34,0.38,error_on_M = True)
8
C. Coeficientes de «debuxa_newton»
Coa fin de xustificar a orde de converxencia do algoritmo nesta función, débese prestar especial
atencion os coeficientes que impreme a función anterior, que son os seguintes:
Newton, no intervalo [0.24 , 0.4] atopa a raíz en so 6 iteracións e na 4 iteración xa está con 3
cifras decimais exactas da raíz. Por tanto, é un método de converxencia moi veloz. Neste caso, a
orde de converxencia cuadrática non se aprecia tan ben como noutros casos pero aproximadamente
en cada iteración dobra o número de cifras decimais exactas respecto á raíz exacta. Un bo artigo
sobre a elección de iterantes inicias e para informase máis sobre a orde de converxencia dos
métodos numéricos de cálculo de raíces poden consultarse en [1].
Para isto, pódese construír unha gráfica cos iterantes de «Newton» empregando os seguintes
comandos:
9
6
1 2 3 4 5
Atopar a raíz dunha función xunto con atopar máximos e mínimos é unha tarefa o sufuciente-
mente complexa en matemáticas se estamos a traballar con múltiples variables. Por iso, é esencial
apoiarse de ferramentas como poden ser os métodos de Newton, Dicotomía, Secante, Regula
Falsi...
Os dous máis empregados son os tratados ó longo desta «Tarefa 1». Ningún dos dous é
infinitamente mellor ca o outro xa que ambos teñen múltiples vantaxes e inconvintes. Os máis
saientables son os seguintes:
10
VI. III. Proposta de resolución da persoa anterior
11
Atopar un Submarino da Armada no Pacífico
Pablo Lobato Rey
I. FUNCIÓN
Existe unha solución no intervalo en cuestión [0.24,
0.4] debido a que a función escollida é continua, xa
que é unha función formada por compoñentes que te-
ñen solución para todo o intervalo, xa que este non
abrangue números negativos nin o 0, que nos deixa-
rían sin solución para estos valores pola raíz e pola
II. COMANDOS PARA DEFINIR LA FUNCIÓN Y fracción que está dentro do seno.
LA GRÁFICA EN SAGE
A partir disto podemos comprobar que se verifica o
f(x)= sqrt(x)*(sin(1/x)-x*sqrt(x); teorema de Bolzano, que segundo enuncia, garantiza a
existencia dunha raíz nun intervalo dado [a, b] sempre
plot(f, 0.24, 0.4) e cando f(a) e f(b) teñan diferente signo.
(0.360671680683154, 38)
- DICOTOMÍA
IX. GRÁFICA DOS ITERANTES
- NEWTON
Para a nosa función en concreto usamos o intervalo a X. COMANDOS PARA O CALCULO DA RAÍZ
estudar [0.24, 0.4], sendo a = 0.24 e b = 0.4, e toman-
do a ε como 10-12.
newton(f, diff(f), 0.32)[0:2]
Quédanos: (0.360671680683038, 5)
REFERENCIAS
[1] CoCalc [en liña][fecha de consulta: marzo del 2022]. Dispoñible en:
https://cocalc.com/
XIII. CONVERXENCIA
I. FUNCIÓN
II. COMANDOS PARA DEFINIR LA FUNCIÓN Y fracción que está dentro do seno.
LA GRÁFICA EN SAGE
Formado pola composición de funcions continuas
da sua aplicación
CIÓN
my
Sendo k = 37.219, polo que se conclúe con que o má-
ximo número de iterantes é 38.
MB
(0.360671680683154, 38)
DOS ITERANTES
- DICOTOMÍA
MB
- NEWTON
Para a nosa función en concreto usamos o intervalo a X. COMANDOS PARA O CALCULO DA RAÍZ
Quédanos: (0.360671680683038, 5) MI
cial que lle demos pode chegar a dar unha raíz fora do
XII.GRÁFICA DOS ITERANTES intervalo. En conclusión, non se pode catalogar a un
e desvantaxes
REFERENCIAS
[1] CoCalc [en liña][fecha de consulta: marzo del 2022]. Dispoñible en:
https://cocalc.com/
XIII. CONVERXENCIA
18
Pablo Lobato Rey 52/60
Rúbrica 04/03
De nicion
Rúbrica Moi boa explicación Explicación moi boa O resultado non é Non contesta
PRESENTACIÓN
Inclúese o nome do traballo, de nción matemática en
Sage, a variable independente, é decir, cal é a que se está
a estudar.
As imaxes son de boa calidade e o formato e entendible
PRESENTACIÓN
Comandos de Sage para de nir a función e a grá ca onde
se ven os puntos de corte cos eixos
PRESENTACIÓN
Explicación dos teoremas empregados para demostrar a
unicidade de existencia de raiz no intervalo proposto.
DICOTOMÍA
Indica a fórmula para achar o número de iterantes (k) cos
parámetros xa estudados; indicando o valor enteiro
DICITOMÍA
Comando para o cálculo da raíz por dicotomía, no que SO
se devolva o numero de iterantes e a raíz
DICOTOMÍA
Gra ca e iterantes de dicotomia asi como os seus
comandos
NEWTON
Comandos para o cálculo da raíz por Newton que so
devolva a aproximación da raíz e o numero de iteracións.
NEWTON
Comandos para obter os iterantes de newton
NEWTON
Grá ca dos iterantes e da raíz
NEWTON
Xusti cación, empregando os iterates de newton, da
converxencia cuadrática do método
LINGUAXE MATEMÁTICA
Valorase unha boa correción matemática, sexa en LaTeX,
Word ou en papel
A puntuación que se desconta especialmente é por motivos de, ou non comentar un aspecto determinado
anotado na correción, ou que a linguaxe matemática é “común” sendo recomendable mellorala.
Malia iso, o traballo está moi ben
Corrixido por: Hugo Carreira Rial 12/03
Referencias
20