Jump to ContentJump to Main Navigation

You are looking at 1-10 of 10 items

  • Keywords: Main Lemma x
Clear All Modify Search

View:

Lowness properties and K-triviality

André Nies

in Computability and Randomness

Published in print:
2009
Published Online:
May 2009
ISBN:
9780199230761
eISBN:
9780191710988
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199230761.003.0005
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter shows the equivalence of K-triviality and lowness for Martin–Löf randomness. This coincidence extends to other lowness properties, such as being a base for Martin–Löf randomness, and ... More


The Main Iteration Lemma

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0010
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter properly formalizes the Main Lemma, first by discussing the frequency energy levels for the Euler-Reynolds equations. Here the bounds are all consistent with the symmetries of the Euler ... More


Main Lemma Implies the Main Theorem

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0011
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter shows that the Main Lemma implies the main theorem. It proves Theorem (10.1) by inductively applying the Main Lemma in order to construct a sequence of solutions of the Euler-Reynolds ... More


Checking Frequency Energy Levels for the Velocity and Pressure

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0024
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter checks frequency energy levels for the velocity and pressure. It begins by comparing the different estimates obtained for the corrections to the velocity and the pressure with the Main ... More


Structure of the Book

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0002
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter provides an overview of the book's structure. Section 3 deals with the error terms which need to be controlled, whereas Part III explains some notation of the book and presents a basic ... More


Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Philip Isett

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.001.0001
Subject:
Mathematics, Computational Mathematics / Optimization

Motivated by the theory of turbulence in fluids, the physicist and chemist Lars Onsager conjectured in 1949 that weak solutions to the incompressible Euler equations might fail to conserve energy if ... More


Constructing Continuous Solutions

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0008
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter demonstrates how the preceding construction, combined with a few estimates from Part V, can be used to prove the Main Lemma for continuous solutions. The first step is to mollify the ... More


Energy Approximation

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0023
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter presents the equations and calculations for energy approximation. It establishes the estimates (261) and (262) of the Main Lemma (10.1) for continuous solutions; these estimates state ... More


Transport-Elliptic Estimates

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0027
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter solves the underdetermined, elliptic equation ∂ⱼQsuperscript jl = Usuperscript l and Qsuperscript jl = Qsuperscript lj (Equation 1069) in order to eliminate the error term in the ... More


The Divergence Equation

Philip Isett

in Hölder Continuous Euler Flows in Three Dimensions with Compact Support in Time

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691174822
eISBN:
9781400885428
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691174822.003.0006
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter introduces the divergence equation. A key ingredient in the proof of the Main Lemma for continuous solutions is to find special solutions to this divergence equation, which includes a ... More


View: