Tue, 31 May 2011

14:30 - 15:30
L3

Component structure of the vacant set induced by a random walk on a random graph

Colin Cooper
(King's College London)
Abstract

We consider random walks on two classes of random graphs and explore the likely structure of the the set of unvisited vertices or vacant set. In both cases, the size of the vacant set $N(t)$ can be obtained explicitly as a function of $t$. Let $\Gamma(t)$ be the subgraph induced by the vacant set. We show that, for random graphs $G_{n,p}$ above the connectivity threshold, and for random regular graphs $G_r$, for constant $r\geq 3$, there is a phase transition in the sense of the well-known Erdos-Renyi phase transition. Thus for $t\leq (1-\epsilon)t^*$ we have a unique giant plus components of  size $O(\log n)$ and for $t\geq (1+\epsilon)t^*$ we have only components of  size $O(\log n)$.

In the case of $G_r$ we describe the likely degree sequence, size of the giant component and structure of the small ($O(\log n)$) size components.

Tue, 31 May 2011
12:00
L3

Cancelled

Prof S Klainerman
(Princeton University)
Mon, 30 May 2011

17:00 - 18:00
Gibson 1st Floor SR

Cancelled

Sergiu Kleinerman
(Princeton University)
Abstract

Please note that this seminar has been cancelled due to unforeseen circumstances.

Fri, 27 May 2011
14:15
DH 1st floor SR

Regularity of Value Functions for Nonsmooth Utility Maximization Problems

Dr Harry Zheng
(Imperial College London)
Abstract

In this talk we show that there exists a smooth classical solution to the HJB equation for a large class of constrained problems with utility functions that are not necessarily differentiable or strictly concave.

The value function is smooth if admissible controls satisfy an integrability condition or if it is continuous on the closure of its domain.

The key idea is to work on the dual control problem and the dual HJB equation. We construct a smooth, strictly convex solution to the dual HJB equation and show that its conjugate function is a smooth, strictly concave solution to the primal HJB equation satisfying the terminal and boundary conditions

Fri, 27 May 2011

12:00 - 13:00
SR1

Derived categories of coherent sheaves and motives

Shane Kelly
(Universite Paris 13)
Abstract

The derived category of a variety has (relatively) recently come into play as an invariant of the variety, useful as a tool for classification. As the derived category contains cohomological information about the variety, it is perhaps a natural question to ask how close the derived category is to the motive of a variety.

We will begin by briefly recalling Grothendieck's category of Chow motives of smooth projective varieties, recall the definition of Fourier-Mukai transforms, and state some theorems and examples. We will then discuss some conjectures of Orlov http://arxiv.org/abs/math/0512620, the most general of which is: does an equivalence of derived categories imply an isomorphism of motives?

Fri, 27 May 2011

10:00 - 11:15
DH 1st floor SR

POSTPONED

John Fox
(Department of Engineering Science, University of Oxford)
Abstract

Due to illness the speaker has been forced to postpone at short notice. A new date will be announced as soon as possible.

Thu, 26 May 2011
17:00
L3

"Stability classes of partial types"

Enrique Casanovas
(Barcelona)
Abstract

"We will talk on stability, simplicity, nip, etc of partial types. We will review some known results and we will discuss some open problems."

Thu, 26 May 2011

16:00 - 17:00
DH 1st floor SR

Electrified multi-fluid film flows

Demetrios Papageorgiou
(Imperial College London)
Abstract

Flows involving immiscible liquids are encountered in a variety of industrial and natural processes. Recent applications in micro- and nano-fluidics have led to a significant scientific effort whose aim (among other aspects) is to enable theoretical predictions of the spatiotemporal dynamics of the interface(s) separating different flowing liquids. In such applications the scale of the system is small, and forces such as surface tension or externally imposed electrostatic forces compete and can, in many cases, surpass those of gravity and inertia. This talk will begin with a brief survey of applications where electrohydrodynamics have been used experimentally in micro-lithography, and experiments will be presented that demonstrate the use of electric fields in producing controlled encapsulated droplet formation in microchannels.

The main thrust of the talk will be theoretical and will mostly focus on the paradigm problem of the dynamics of electrified falling liquid films over topographically structured substrates.

Evolution equations will be developed asymptotically and their solutions will be compared to direct simulations in order to identify their practicality. The equations are rich mathematically and yield novel examples of dissipative evolutionary systems with additional effects (typically these are pseudo-differential operators) due to dispersion and external fields.

The models will be analysed (we have rigorous results concerning global existence of solutions, the existence of dissipative dynamics and an absorbing set, and analyticity), and accurate numerical solutions will be presented to describe the large time dynamics. It is found that electric fields and topography can be used to control the flow.Time permitting, I will present some recent results on transitions between convective to absolute instabilities for film flows over periodic topography.

Thu, 26 May 2011

16:00 - 17:00
L3

Iwasawa theory for modular forms

David Loeffler
(Warwick)
Abstract

he Iwasawa theory of elliptic curves over the rationals, and more
generally of modular forms, has mostly been studied with the
assumption that the form is "ordinary" at p -- i.e. that the Hecke
eigenvalue is a p-adic unit. When this is the case, the dual of the
p-Selmer group over the cyclotomic tower is a torsion module over the
Iwasawa algebra, and it is known in most cases (by work of Kato and
Skinner-Urban) that the characteristic ideal of this module is
generated by the p-adic L-function of the modular form.

I'll talk about the supersingular (good non-ordinary) case, where
things are slightly more complicated: the dual Selmer group has
positive rank, so its characteristic ideal is zero; and the p-adic
L-function is unbounded and hence doesn't lie in the Iwasawa algebra.
Under the rather restrictive hypothesis that the Hecke eigenvalue is
actually zero, Kobayashi, Pollack and Lei have shown how to decompose
the L-function as a linear combination of Iwasawa functions and
explicit "logarithm-like" series, and to modify the definition of the
Selmer group correspondingly, in order to formulate a main conjecture
(and prove one inclusion). I will describe joint work with Antonio Lei
and Sarah Zerbes where we extend this to general supersingular modular
forms, using methods from p-adic Hodge theory. Our work also gives
rise to new phenomena in the ordinary case: a somewhat mysterious
second Selmer group and L-function, which is related to the
"critical-slope L-function" studied by Pollack-Stevens and Bellaiche.


Thu, 26 May 2011

14:00 - 15:00
Gibson Grd floor SR

IDR -- A New Class of Krylov Subspace Solvers: Benefits and Drawbacks

Dr Jens-Peter Zemke
(Hamburg-Harburg University of Technology)
Abstract

This talk is about the Induced Dimension Reduction (IDR) methods developed by Peter Sonneveld and, more recently, Martin van Gijzen. We sketch the history, outline the underlying principle, and give a few details about different points of view on this class of Krylov subspace methods. If time permits, we briefly outline some recent developments in this field and the benefits and drawbacks of these and IDR methods in general.

Thu, 26 May 2011
13:00
DH 1st floor SR

How do we build a math-finance setup when we do not have a probability space but we do have market prices?

Jan Obloj
Abstract

In this talk I want to ask how to create a coherent mathematical framework for pricing and hedging which starts with the information available in the market and does not assume a given probabilistic setup. This calls for re-definition of notions of arbitrage and trading and, subsequently, for a ``probability-free first fundamental theorem of asset pricing". The new setup should also link with a classical approach if our uncertainty about the model vanishes and we are convinced a particular probabilistic structure holds. I explore some recent results but, predominantly, I present the resulting open questions and problems. It is an ``internal talk" which does not necessarily present one paper but rather wants to engage into a discussion. Ideas for the talk come in particular from joint works with Alex Cox and Mark Davis.

Thu, 26 May 2011

12:30 - 13:30
Gibson 1st Floor SR

Going beyond Serrin's endpoint regularity criterion for Navier-Stokes

Fabrice Planchon
(Universite de Nice (France))
Abstract

Solutions which are time-bounded in L^3 up to time T can be continued

past this time, by a landmark result of Escauriaza-Seregin-Sverak,

extending Serrin's criterion. On the other hand, the local Cauchy

theory holds up to solutions in BMO^-1; we aim at describing how one

can obtain intermediate regularity results, assuming a priori bounds

in negative regularity Besov spaces.

This is joint work with J.-Y. Chemin, Isabelle Gallagher and Gabriel

Koch.

Wed, 25 May 2011

16:00 - 17:00
SR1

Homogeneous Einstein metrics and the graph theorem.

Maria Buzano
(University of Oxford)
Abstract

First of all, we are going to recall some basic facts and definitions about homogeneous Riemannian manifolds. Then we are going to talk about existence and non-existence of invariant Einstein metrics on compact homogeneous manifolds. In this context, we have that it is possible to associate to every homogeneous space a graph. Then, the graph theorem of Bohm, Wang and Ziller gives an existence result of invariant Einstein metrics on a compact homogeneous space, based on properties of its graph. We are going to discuss this theorem and sketch its proof.

Wed, 25 May 2011

12:45 - 13:45
Oxford-Man Institute

Explicit construction of a dynamic Bessel bridge of dimension 3

Dr Umut Cetin (London School of Economics)
Abstract

Given a deterministically time-changed Brownian motion Z starting from 1, whose time-change V (t) satisfies V (t) > t for all t > 0, we perform an explicit construction of a process X which is Brownian motion in its own filtration and that hits zero for the first time at V (S), where S := inf {t > 0 : Z_t = 0}. We also provide the semimartingale decomposition of X under the filtration jointly generated by X and Z. Our construction relies on a combination of enlargement of filtration and filtering techniques. The resulting process X may be viewed as the analogue of a 3-dimensional Bessel bridge starting from 1 at time 0 and ending at 0 at the random time V (S). We call this a dynamic Bessel bridge since S is not known at time 0 but is slowly revealed in time by observing Z. Our study is motivated by insider trading models with default risk. (this is a joint work with Luciano Campi and Albina Danilova)

Tue, 24 May 2011
17:00
L2

``An analogue of the Conjecture of Dixmier is true for the algebra of polynomial integro-differential operators''

Prof. V. Bavula
(Sheffield)
Abstract

In 1968, Dixmier posed six problems for the algebra of polynomial

  differential operators, i.e. the Weyl algebra. In 1975, Joseph

solved the third and sixth problems and, in 2005, I solved the

  fifth problem and gave a positive solution to the fourth problem

  but only for homogeneous differential operators. The remaining three problems are still open. The first problem/conjecture of Dixmier (which is equivalent to the Jacobian Conjecture as was shown in 2005-07 by Tsuchimito, Belov and Kontsevich) claims that the Weyl algebra `behaves'

like a finite field. The first problem/conjecture of

  Dixmier:   is it true that an algebra endomorphism of the Weyl

  algebra an automorphism? In 2010, I proved that this question has

  an affirmative answer for the algebra of polynomial

  integro-differential operators. In my talk, I will explain the main

  ideas, the structure of the proof and recent progress on the first problem/conjecture of Dixmier.

 

Tue, 24 May 2011

14:30 - 15:30
L3

The degree distribution of random planar graphs

Angelika Steger
(ETH Zurich)
Abstract

A random planar graph $P_n$ is a graph drawn uniformly at random from the class of all (labelled) planar graphs on $n$ vertices. In this talk we show that with probability $1-o(1)$ the number of vertices of degree $k$ in $P_n$ is very close to a quantity $d_k n$ that we determine explicitly. Here $k=k(n) \le c \log n$. In the talk our main emphasis will be on the techniques for proving such results. (Joint work with Kosta Panagiotou.)

Mon, 23 May 2011

17:00 - 18:00
Gibson 1st Floor SR

Well posedness and derivations of some multi-fluid systems

Didier Bresch
(Savoie University)
Abstract

In this talk, we will present some recent mathematical features around two-fluid models. Such systems may be encountoured for instance to model internal waves, violent aerated flows, oil-and-gas mixtures. Depending on the context, the models used for simulation may greatly differ. However averaged models share the same structure. Here, we address the question whether available mathematical results in the case of a single fluid governed by the compressible barotropic equations for single flow may be extended to two phase model and discuss derivations of well-known multi-fluid models from single fluid systems by homogeneization (assuming for instance highly oscillating density). We focus on existence of local existence of strong solutions, loss of hyperbolicity, global existence of weak solutions, invariant regions, Young measure characterization.

Mon, 23 May 2011

17:00 - 18:00
Oxford-Man Institute

Options on Leveraged ETFs

Marco Avellaneda (Courant Institute, NYU)
Abstract

Leveraged ETFs are funds that target a multiple of the daily return of a reference asset; eg UYG (Proshares) targets twice the daily return of XLF (Financial SPDR) and SKF targets minus twice the daily return of XLF.

 It is well known that these leveraged funds have exposure to realized volatility. In particular, the relation between the leveraged and the unleveraged funds over a given time-horizon (larger than 1 day) is uncertain and will depend on the realized volatility. This talk examines this phenomenon theoretically and empirically first, and then uses this to price options on leveraged ETFs in terms of the prices of options on the underlying ETF. The resulting model allows to model the volatility skews of the leveraged and unleveraged funds in relation to each other and therefore suggest an arbitrage relation that could prove useful for traders and risk-managers.

Mon, 23 May 2011

15:45 - 16:45
L3

Examples of aspherical hyperbolic simplicial complexes. An application of small cancellation for rotation families of groups

Remi Coulon
(MPI Bonn)
Abstract

The goal of this talk is to construct new examples of hyperbolic

aspherical complexes. More precisely, given an aspherical simplicial

complex P and a subcomplex Q of P, we are looking for conditions under

which the complex obtained by attaching a cone of base Q on P remains

aspherical. If Q is a set of loops of a 2-dimensional complex, J.H.C.

Whitehead proved that this new complex is aspherical if and only if the

elements of the fundamental group of P represented by Q do not satisfy

any identity. To deal with higher dimensional subcomplexes we use small

cancellation theory and extend the geometric point of view developed by

T. Delzant and M. Gromov to rotation families of groups. In particular

we obtain hyperbolic aspherical complexes obtained by attaching a cone

over the "real part" of a hyperbolic complex manifold.

Mon, 23 May 2011
15:45
Oxford-Man Institute

Fully coupled systems of functional differential equations and applications

Matteo Casserini (joint work with Gechun Liang)
(ETH Zurich)
Abstract

Recently, Liang, Lyons and Qian developed a new methodology for the study of backward stochastic differential equations (BSDEs) on general filtered probability spaces. Their approach is based on the analysis of a particular class of functional differential equations, where the driver of the equation does not depend only on the present, but also on the terminal value of the solution.

The purpose of this work is to study fully coupled systems of forward functional differential equations, which are related to a broad class of fully coupled forward-backward stochastic dynamics with respect to general filtrations. In particular, these systems of functional differential equations have a more homogeneous structure with respect to the underlying forward-backward problems, allowing to partly avoid the conflicting nature between the forward and backward components.

Another advantage of the approach is that its generality allows to consider many other types of forward-backward equations not treated in the classical literature: this is shown with the help of several examples, which have interesting applications to mathematical finance and are related to parabolic integro-partial differential equations. In the second part of the talk, we introduce a numerical scheme for the approximation of decoupled systems, based on a time discretization combined with a local iteration approach.

Mon, 23 May 2011
14:15
Oxford-Man Institute

'Nonlilnear L\'evy Processes and Interacting Particles'.

Vassili Kolokoltsov
(ETH Zurich)
Abstract

I will introduce the notion of a nonlinear Levy process, discuss basic well-posednes, SDE links and the connection with interacting particles. The talk is aimed to be an introduction to the topic of my recent CUP monograph 'Nonllinear Markov processes and kinetic equations'.

Mon, 23 May 2011

12:00 - 13:00
L3

Trivertices and SU(2)'s

Amihay Hanany
(Imperial College)
Abstract
Given a graph with lines and 3-valent vertices, one can construct, using a simple dictionary, a Lagrangian that has N=2 supersymmetry in 3+1 dimensions. This is a construction which generalizes the notion of a quiver. The vacuum moduli space of such a theory is well known to give moment map equations for a HyperKahler manifold. We will discuss the class of hyperkahler manifolds which arise due to such a construction and present their special properties. The Hilbert Series of these spaces can be computed and turns out to be a function of the number of external legs and loops in the graph but not on its detailed structure. The corresponding SCFT consequence of this property indicates a crucial universality of many Lagrangians, all of which have the same dynamics. The talk is based on http://arXiv.org/pdf/1012.2119.
Fri, 20 May 2011
14:15
DH 1st floor SR

Two Factor Models of a Firm's Capital Structure

Prof Tom Hurd
(McMaster University)
Abstract

We argue that a natural extension of the well known structural credit risk framework of Black and Cox is to model both the firm's assets and liabilities as correlated geometric Brownian motions. This financially reasonable assumption leads to a unification of equity derivatives (written on the stock price), and credit securities like bonds and credit default swaps (CDS), nesting the Black-Cox credit model with a particular stochastic volatility model for the stock. As we will see, it yields reasonable pricing performance with acceptable computational efficiency. However, it has been well understood how to extend a credit framework like this quite dramatically by the trick of time- changing the Brownian motions. We will find that the resulting two factor time-changed Brownian motion framework can encompass well known equity models such as the variance gamma model, and at the same time reproduce the stylized facts about default stemming from structural models of credit. We will end with some encouraging calibration results for a dataset of equity and credit derivative prices written on Ford Motor Company.

Fri, 20 May 2011

12:00 - 13:00
SR1

Spectral data for principal Higgs bundles

Laura Schaposnik
(University of Oxford)
Abstract

In this talk I shall present some ongoing work on principal G-Higgs bundles, for G a simple Lie group. In particular, we will consider two non-compact real forms of GL(p+q,C) and SL(p+q,C), namely U(p,q) and SU(p,q). By means of the spectral data that principal Higgs bundles carry for these non-compact real forms, we shall give a new description of the moduli space of principal U(p,q) and SU(p,q)-Higgs bundles. As an application of our method, we will count the connected components of these moduli spaces.

Fri, 20 May 2011

10:00 - 11:15
DH 1st floor SR

Decision making on the fly

Gero Miesenboeck and Shamik DasGupta
(Physiology, Anatomy and Genetics)
Thu, 19 May 2011
17:00
L3

tba

Thu, 19 May 2011

16:00 - 17:00
DH 1st floor SR

Mass and the dependency of research quality on group size

Ralph Kenna
(University of Coventry)
Abstract

The notion of critical mass in research is one that has been around for a long time without proper definition. It has been described as some kind of threshold group size above which research standards significantly improve. However no evidence for such a threshold has been found and critical mass has never been measured -- until now.

We present a new, simple, sociophysical model which explains how research quality depends on research-group structure and in particular on size. Our model predicts that there are, in fact, two critical masses in research, the values of which are discipline dependent. Research quality tends to be linearly dependent on group size, but only up to a limit termed the 'upper critical mass'. The upper critical mass is interpreted as the average maximum number of colleagues with whom a given individual in a research group can meaningfully interact. Once the group exceeds this size, it tends to fragment into sub-groups and research quality no longer improves significantly with increasing size. There is also a

lower critical mass, which small research groups should strive to achieve for stability.

Our theory is tested using empirical data from RAE 2008 on the quantity and quality of research groups, for which critical masses are determined. For pure and applied mathematics, the lower critical mass is about 2 and 6, respectively, while for statistics and physics it is 9 and 13. The upper critical mass, beyond which research quality does not significantly improve with increasing group size, is about twice the lower value.

Thu, 19 May 2011

14:00 - 15:00
Gibson Grd floor SR

Modelling and simulation of the self-assembly of thin solid films

Dr Maciek Korzec
(Technical University of Berlin)
Abstract

Many continuum models have been derived in recent years which describe the self-assembly of industrially utilisable crystalline films to a level of detail that allows qualitative comparisons with experiments. For thin-film problems, where the characteristic length scales in vertical and horizontal directions differ significantly, the governing surface diffusion equations can be reduced to simpler PDEs by making use of asymptotic expansions. Many mathematical problems and solutions emerge from such new evolution equations and many of them remind of Cahn-Hilliard type equations. The surface diffusion models are of high, of fourth or even sixth, order.

We present the modeling, model reduction and simulation results for heteroepitaxial growth as for Ge/Si quantum dot self-assembly. The numerical methods we are using are based on trigonometric interpolation. These kind of pseudospectral methods seem very well suited for simulating the coarsening of large quantum dot arrays. When the anisotropy of the growing crystalline film is strong, it might become necessary to add a corner regularisation to the model. Then the transition region between neighboring facets is still smooth, but its scale is rather small. In this case it might be useful to think about an adaptive extension of the existing method.

Figure 1: Ostwald ripening process of quantum dots depicted at consecutive time points. One fourth of the whole, periodic, simulated domain is shown.

Joint work with Peter Evans and Barbara Wagner

Thu, 19 May 2011
13:00
DH 1st floor SR

tba

Lukasz Szpruch
Thu, 19 May 2011

12:30 - 13:30
Gibson 1st Floor SR

On stationary motions of Prandtl-Eyring fluids in 2D

Dominic Breit
(University of Saarbrucken)
Abstract

We prove the existence of weak solutions to steady Navier Stokes equations

$$\text{div}\, \sigma+f=\nabla\pi+(\nabla u)u.$$

Here $u:\mathbb{R}^2\supset \Omega\rightarrow \mathbb{R}^2$ denotes

the velocity field satisfying $\text{div}\, u=0$,

$f:\Omega\rightarrow\mathbb{R}^2$ and

$\pi:\Omega\rightarrow\mathbb{R}$ are external volume force and

pressure, respectively. In order to model the behavior of

Prandtl-Eyring fluids we assume

$$\sigma= DW(\varepsilon (u)),\quad W(\varepsilon)=|\varepsilon|\log

(1+|\varepsilon|).$$

A crucial tool in our approach is a modified Lipschitz truncation

preserving the divergence of a given function.

Wed, 18 May 2011

16:00 - 17:00
SR1

Optimal embeddings of groups into Hilbert spaces

David Hume
(University of Oxford)
Abstract

We begin by showing the underlying ideas Bourgain used to prove that the Cayley graph of the free group of finite rank can be embedded into a Hilbert space with logarithmic distortion. Equipped with these ideas we then tackle the same problem for other metric spaces. Time permitting these will be: amalgamated products and HNN extensions over finite groups, uniformly discrete hyperbolic spaces with bounded geometry and Cayley graphs of cyclic extensions of small cancellation groups.

Wed, 18 May 2011
12:45
Oxford-Man Institute

A BSDE Approach to a Risk-Based Optimal Investment of an Insurer

Robert Elliott
(University of Adelaide and University of Calgary)
Abstract

We discuss a backward stochastic differential equation, (BSDE), approach to a risk-based, optimal investment problem of an insurer. A simplified continuous-time economy with two investment vehicles, namely, a fixed interest security and a share, is considered.

The insurer's risk process is modeled by a diffusion approximation to a compound Poisson risk process. The goal of the insurer is to select an optimal portfolio so as to minimize the risk described by a convex risk measure of his/her terminal wealth. The optimal investment problem is then formulated as a zero-sum stochastic differential game between the insurer and the market. The BSDE approach is used to solve the game problem. This leads to a simple and natural approach for the existence and uniqueness of an optimal strategy of the game problem without Markov assumptions. Closed-form solutions to the optimal strategies of the insurer and the market are obtained in some particular cases.

Tue, 17 May 2011
17:00
L2

'Detecting a group through it's pronilpotent completion'

Dr Khalid Bou-Rabee
(Michigan)
Abstract

In 1939, Wilhelm Magnus gave a characterization of free groups in terms of their rank and nilpotent quotients. Our goal in this talk is to present results giving both positive and negative answers to the following question: does a similar characterization hold within the class of finite-extensions of finitely generated free groups? This talk covers joint work with Brandon Seward.

 

Tue, 17 May 2011

15:45 - 16:45
L3

Towards Bridgeland stability conditions on threefolds

Arend Bayer
(University of Connecticut)
Abstract

I will discuss a conjectural Bogomolov-Gieseker type inequality for "tilt-stable" objects in the derived category of coherent sheaves on smooth projective threefolds. The conjecture implies the existence of Bridgeland stability conditions on threefolds, and also has implications to birational geometry: it implies a slightly weaker version of Fujita's conjecture on very ampleness of adjoint line bundles.

Tue, 17 May 2011

12:00 - 13:00
L3

123 TQFTs

Jamie Vicary (Comlab)
Abstract

I will present some new results on classifying 123 TQFTs,
using a 2-categorical approach. The invariants defined by a TQFT are
described using a new graphical calculus, which makes them easier to
define and to work with. Some new and interesting physical phenomena
are brought out by this perspective, which we investigate. I will
finish by banishing some TQFT myths! This talk is based on joint work
with Bruce Bartlett, Chris Schommer-Pries and Chris Douglas.

Mon, 16 May 2011
17:00
Gibson 1st Floor SR

Nonlinear stability of liquid films over an inclined plane

Mariarosaria Padula
(Universita di Ferrara)
Abstract

Given a film of viscous heavy liquid with upper free boundary over an inclined plane, a steady laminar motion develops parallel to the flat bottom ofthe layer. We name this motion\emph{ Poiseuille Free Boundary} PFBflow because of its (half) parabolic velocity profile. In flowsover an inclined plane the free surface introduces additionalinteresting effects of surface tension and gravity. These effectschange the character of the instability in a parallel flow, see{Smith} [1]. \par\noindentBenjamin [2], and Yih [3], have solved the linear stabilityproblem of a uniform film on a inclined plane. Instability takesplace in the form of an infinitely long wave, however\emph{surface waves of finite wavelengths are observed}, see e.g.Yih [3]. Up to date direct nonlinear methods for the study ofstability seem to be still lacking.
Aim of this talk is the investigation of nonlinear stability ofPFB providing \emph{ a rigorous formulation of the problem by theclassical direct Lyapunov method assuming periodicity in theplane}, when above the liquid there is a uniform pressure due tothe air at rest, and the liquid is moving with respect to the air.Sufficient conditions on the non dimensional Reynolds, Webernumbers, on the periodicity along the line of maximum slope, onthe depth of the layer and on the inclination angle are computedensuring Kelvin-Helmholtz \emph{nonlinear stability}. We use\emph{a modified energy method, cf. [4],[5], which providesphysically meaningful sufficient conditions ensuring nonlinearexponential stability}. The result is achieved in the class ofregular solutions occurring in simply connected domains havingcone property.\par\noindentNotice that the linear equations, obtained by linearization of ourscheme around the basic Poiseuille flow, do coincide with theusual linear equations, cf. {Yih} [3]. \\ {\bf References}\\ [1]  M.K. Smith, \textit{The mechanism for the long-waveinstability in thin liquid films} J. Fluid Mech., \textbf{217},1990, pp.469-485.
\\ [2]  Benjamin T.B., \textit{Wave formation in laminar flow down aninclined plane}, J. Fluid Mech. \textbf{2}, 1957, 554-574.
\\ [3]  Yih Chia-Shun, \textit{Stability of liquid flow down aninclined plane}, Phys. Fluids, \textbf{6}, 1963, pp.321-334.
\\ [4] Padula M., {\it On nonlinear stability of MHD equilibriumfigures}, Advances in Math. Fluid Mech., 2009, 301-331.
\\ [5] Padula M., \textit{On nonlinear stability of linear pinch},Appl. Anal.  90 (1), 2011, pp. 159-192.