bakalářská práce

Základy zlomkového kalkulu na časových škálách

Text práce 1.2 MB

Autor práce: Ing. Matej Dolník

Ak. rok: 2014/2015

Vedoucí: doc. Ing. Tomáš Kisela, Ph.D.

Oponent: doc. Ing. Luděk Nechvátal, Ph.D.

Abstrakt:

Bakalářská práce pojednává o zlomkovém kalkule na časových škálach, přesněji - zavádí zlomkový kalkulus na časových škálach a taktéž vyšetřuje jednoznačnost axiomatické definice zavádějící mocninné funkce. Po zavedení základních pojmů je předmětem diskuze hlavně zobecněná Laplaceova transformace a důkaz jednoznačnosti zobecněné Laplaceovy transformace, která je použita jako nástroj pro dokázání jednoznačnosti zlomkových mocniných funkcií na časových škálach.

Klíčová slova:

časové škály, zlomkový kalkulus, Laplaceova transformáce, mocninné funkce, monomiály, jednoznačnost

Termín obhajoby

23.06.2015

Výsledek obhajoby

obhájeno (práce byla úspěšně obhájena)

znamkaBznamka

Klasifikace

B

Jazyk práce

angličtina

Fakulta

Ústav

Studijní program

Aplikované vědy v inženýrství (B3A-P)

Studijní obor

Matematické inženýrství (B-MAI)

Složení komise

doc. PaedDr. Dalibor Martišek, Ph.D. (předseda)
Mgr. Jana Hoderová, Ph.D. (místopředseda)
RNDr. Karel Mikulášek, Ph.D. (člen)
RNDr. Rudolf Hlavička, CSc. (člen)
Ing. Josef Bednář, Ph.D. (člen)

Cílem práce bylo diskutovat existenci a jednoznačnost zavedení zlomkových operátorů na obecné časové škále a odvodit základní vlastnosti těchto operátorů.

V práci se podařilo rozšířit množinu časových škál, na níž jsou zavedeny zlomkové operátory, a dosáhnout tak originálního výsledku. Základní vlastnosti zlomkových operátorů byly odvozeny analogickou technikou jako v případě známých množin. Cíle práce tak byly splněny.

Student samostatně nastudoval netriviální témata týkající se teorie časových škál a zlomkového kalkulu. Velkou část práce student odvedl při pokusu dokázat Lerchovu větu na obecné časové škále v nabla případě. Bohužel tato snaha nebyla završena úspěchem, nicméně se podařilo objevit mezery a chyby v důkazech jiných autorů. Krátce před termínem odevzdání začala být zkoumána slibná důkazová technika, která by v budoucnu mohla vést k samostatné publikaci.

Práce obsahuje mnoho formulačních a stylistických nedostatků, které snižují její hodnotu. Nezanedbatelné mezery má i práce s citacemi.

Přes výše uvedené nedostatky je třeba vyzdvihnout samostatnost při zpracování pokročilého tématu přesahujícího rámec bakalářského studia. Dosažené výsledky a zkušenosti budou využity ve vědecké práci. Doporučuji proto práci k obhajobě s hodnocením B.
Kritérium hodnocení Známka
Splnění požadavků a cílů zadání B
Postup a rozsah řešení, adekvátnost použitých metod A
Vlastní přínos a originalita A
Schopnost interpretovat dosažené vysledky a vyvozovat z nich závěry A
Využitelnost výsledků v praxi nebo teorii A
Logické uspořádání práce a formální náležitosti D
Grafická, stylistická úprava a pravopis E
Práce s literaturou včetně citací C
Samostatnost studenta při zpracování tématu A

Známka navržená vedoucím: B

Téma bakalářské práce spadá do oblasti analýzy na časových škálách (časovou škálou zde rozumíme libovolnou uzavřenou podmnožinu reálných čísel), což je moderní a rychle se rozvíjející disciplína, jejíž hlavní myšlenkou je sjednocení spojitého a diskrétního kalkulu.  Těžiště práce spočívá v zavedení a diskuzi vlastností mocninné funkce na libovolné časové škále. Motivací pro zabývání se právě mocninnou funkcí je fakt, že tato hraje klíčovou roli ve zlomkovém kalkulu (což je další rychle se rozvíjející oblast matematiky) při definování operátorů zlomkové derivace a zlomkového integrálu. Protože získání obecného explicitního předpisu mocninné funkce se zdá být za hranicemi možností (v několika málo speciálních případech časových škál to lze), nabízí se myšlenka axiomatické definice. Při takovém postupu vyvstávají související otázky, jako je korektnost definice (existence a jednoznačnost dané funkce). V práci je ukázáno, že definice bude korektní, omezíme-li na časové škály, na kterých funguje obecná Laplaceova transformace, speciálně Lerchova věta o jednoznačnosti.

Práce je psána v angličtině, nicméně velmi špatné (chybný slovosled, chybějící předmět, užívání nesprávných termínů, členy, čárky, atd.), mnohé věty jsou na hranici srozumitelnosti! Zde bych pro příště zvážil volbu mateřského jazyka. Celkově, formální stránka není na příliš vysoké úrovni, našel jsem dost překlepů, nejednotnost ve značení, neobratnost ve formulacích, používaní pojmů, které nejsou předem definovány, nepřesnosti ve vztazích (např. Example 2.2.2 obsahuje spor týkající se funkce zrnitosti), Theorem 2.3.2 obsahuje předpoklad, ale už ne samotné tvrzení, atp.

Vzhledem k výše uvedeným výtkám bych práci standardně hodnotil stupněm „D“, nicméně rozhodl jsem se ocenit studentovo zorientování se v netriviální látce a zejména pak jeho vlastní přínos - práce obsahuje původní výsledky, což v rámci bakalářských prací zdaleka není samozřejmostí. Z tohoto důvodu práci doporučuji k obhajobě s hodnocením „C/dobře“.
Kritérium hodnocení Známka
Splnění požadavků a cílů zadání A
Postup a rozsah řešení, adekvátnost použitých metod A
Vlastní přínos a originalita B
Schopnost interpretovat dosaž. vysledky a vyvozovat z nich závěry A
Využitelnost výsledků v praxi nebo teorii B
Logické uspořádání práce a formální náležitosti D
Grafická, stylistická úprava a pravopis D
Práce s literaturou včetně citací C
Otázky k obhajobě:
  1. Example 2.2.2 zjevně není úplně správně. Může student toto uvést na pravou míru? Zejména, jak vypadá funkce zrnitosti a exponenciální funkce (s exponentem z) na uvažované časové škále?
  2. V kapitole 3 (zejména pak v Theorem 3.1.8) se uvažuje mocninná funkce s racionální mocninou. Rýsuje se nějaká možnost rozšíření pro funkci s reálnou mocninu?

Známka navržená oponentem: C

Odpovědnost: Mgr. et Mgr. Hana Odstrčilová