Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results

In the theory of the Navier-Stokes equations, the proofs of some basic known results, like for example the uniqueness of solutions to the stationary Navier-Stokes equations under smallness assumptions on the data or the stability of certain time discretization schemes, actually only use a small range of properties and are therefore valid in a more general context. This observation leads us to introduce the concept of SST spaces, a generalization of the functional setting for the Navier-Stokes equations. It allows us to prove (by means of counterexamples) that several uniqueness and stability conjectures that are still open in the case of the Navier-Stokes equations have a negative answer in the larger class of SST spaces, thereby showing that proof strategies used for a number of classical results are not sufficient to affirmatively answer these open questions. More precisely, in the larger class of SST spaces, non-uniqueness phenomena can be observed for the implicit Euler scheme, for two nonlinear versions of the Crank-Nicolson scheme, for the fractional step theta scheme, and for the SST-generalized stationary Navier-Stokes equations. As far as stability is concerned, a linear version of the Euler scheme, a nonlinear version of the Crank-Nicolson scheme, and the fractional step theta scheme turn out to be non-stable in the class of SST spaces. The positive results established in this thesis include the generalization of classical uniqueness and stability results to SST spaces, the uniqueness of solutions (under smallness assumptions) to two nonlinear versions of the Euler scheme, two nonlinear versions of the Crank-Nicolson scheme, and the fractional step theta scheme for general SST spaces, the second order convergence of a version of the Crank-Nicolson scheme, and a new proof of the first order convergence of the implicit Euler scheme for the Navier-Stokes equations. For each convergence result, we provide conditions on the data that guarantee the existence of nonstationary solutions satisfying the regularity assumptions needed for the corresponding convergence theorem. In the case of the Crank-Nicolson scheme, this involves a compatibility condition at the corner of the space-time cylinder, which can be satisfied via a suitable prescription of the initial acceleration.

Optical Antennas for Biosensing Applications

The aim of the thesis is to theoretically investigate optical/plasmonic antennas for biosensing applications. The full 3-D numerical electromagnetic simulations have been performed by using finite integration technique (FIT). The electromagnetic properties of surface plasmon polaritons (SPPs) and the localized surface plasmons (LSPs) based devices are studied for sensing purpose. The surface plasmon resonance (SPR) biosensors offer high refractive index sensitivity at a fixed wavelength but are not enough for the detection of low concentrations of molecules. It has been demonstrated that the sensitivity of SPR sensors can be increased by employing the transverse magneto-optic Kerr effect (TMOKE) in combination with SPPs. The sensor based on the phenomena of TMOKE and SPPs are known as magneto-optic SPR (MOSPR) sensors. The optimized MOSPR sensor is analyzed which provides 8 times higher sensitivity than the SPR sensor, which will be able to detect lower concentration of molecules. But, the range of the refractive index detection is limited, due to the rapid decay of the amplitude of the MOSPR-signal with the increase of the refractive indices. Whereas, LSPs based sensors can detect lower concentrations of molecules, but their sensitivity is small at a fixed wavelength. Therefore, another device configuration known as perfect plasmonic absorber (PPA) is investigated which is based on the phenomena of metal-insulator-metal (MIM) waveguide. The PPA consists of a periodic array of gold nanoparticles and a thick gold film separated by a dielectric spacer. The electromagnetic modes of the PPA system are analyzed for sensing purpose. The second order mode of the PPA at a fixed wavelength has been proposed for the first time for biosensing applications. The PPA based sensor combines the properties of the LSPR sensor and the SPR sensor, for example, it illustrates increment in sensitivity of the LSPR sensor comparable to the SPR and can detect lower concentration of molecules due to the presence of nanoparticles.

Support Vector Machines: Training and Applications

The Support Vector Machine (SVM) is a new and very promising classification technique developed by Vapnik and his group at AT&T Bell Labs. This new learning algorithm can be seen as an alternative training technique for Polynomial, Radial Basis Function and Multi-Layer Perceptron classifiers. An interesting property of this approach is that it is an approximate implementation of the Structural Risk Minimization (SRM) induction principle. The derivation of Support Vector Machines, its relationship with SRM, and its geometrical insight, are discussed in this paper. Training a SVM is equivalent to solve a quadratic programming problem with linear and box constraints in a number of variables equal to the number of data points. When the number of data points exceeds few thousands the problem is very challenging, because the quadratic form is completely dense, so the memory needed to store the problem grows with the square of the number of data points. Therefore, training problems arising in some real applications with large data sets are impossible to load into memory, and cannot be solved using standard non-linear constrained optimization algorithms. We present a decomposition algorithm that can be used to train SVM's over large data sets. The main idea behind the decomposition is the iterative solution of sub-problems and the evaluation of, and also establish the stopping criteria for the algorithm. We present previous approaches, as well as results and important details of our implementation of the algorithm using a second-order variant of the Reduced Gradient Method as the solver of the sub-problems. As an application of SVM's, we present preliminary results we obtained applying SVM to the problem of detecting frontal human faces in real images.

An Immersed Interface Method for the Incompressible Navier-Stokes Equations in Irregular Domains

We present an immersed interface method for the incompressible Navier Stokes equations capable of handling rigid immersed boundaries. The immersed boundary is represented by a set of Lagrangian control points. In order to guarantee that the no-slip condition on the boundary is satisfied, singular forces are applied on the fluid at the immersed boundary. The forces are related to the jumps in pressure and the jumps in the derivatives of both pressure and velocity, and are interpolated using cubic splines. The strength of singular forces is determined by solving a small system of equations at each time step. The Navier-Stokes equations are discretized on a staggered Cartesian grid by a second order accurate projection method for pressure and velocity.

Fronts from integrodifference equations and persistence effects on the Neolithic transition

We extend a previous model of the Neolithic transition in Europe [J. Fort and V. Méndez, Phys. Rev. Lett. 82, 867 (1999)] by taking two effects into account: (i) we do not use the diffusion approximation (which corresponds to second-order Taylor expansions), and (ii) we take proper care of the fact that parents do not migrate away from their children (we refer to this as a time-order effect, in the sense that it implies that children grow up with their parents, before they become adults and can survive and migrate). We also derive a time-ordered, second-order equation, which we call the sequential reaction-diffusion equation, and use it to show that effect (ii) is the most important one, and that both of them should in general be taken into account to derive accurate results. As an example, we consider the Neolithic transition: the model predictions agree with the observed front speed, and the corrections relative to previous models are important (up to 70%)

MA158exam01

Exam questions and solutions in LaTex

Exercise sheet 9

Exercises and solutions in LaTex

Exercise sheet 4

Exercises and solutions in LaTex

Exam 1997

Exam and solutions in LaTex

“Reflexiones en torno al discurso de diferenciación criollo en el Virreinato de la Nueva Granada (1770-1810), a partir del análisis del proyecto hegemónico de este grupo dirigente, desde la teoría de la élite de Antonio Gramsci”

El proceso de Independencia del Nuevo Reino de Granada ha sido comprendido desde varias perspectivas y lecturas históricas. Sin embargo, un elemento constante en dichas lecturas ha sido la coexistencia de ambigüedades tales como tradición y modernidad, represión y libertad, e incluso los términos asociados a la élite y al pueblo. Para una buena parte de los historiadores que se han ocupado del tema de la Independencia y la consolidación de la Nación colombiana, los actores clave para comprender este proceso son los criollos, típicamente presentados como el motor de las revueltas independentistas. Muchas son las valoraciones que se le han otorgado a este sector social y a su proyecto revolucionario. No obstante, el factor común de tales enfoques radica en considerar que a partir del momento en que los criollos, la élite americana, deciden reclamar su soberanía ante la corona española, la república criolla empieza a forjarse y configurarse hasta desembocar en una Nación sólida, libre y soberana. Este documento pretende exponer en primer lugar, al discurso de diferenciación como elemento legitimador del proyecto hegemónico de los criollos como élite en el virreinato del Nuevo Reino de Granada (1770 – 1810). En segundo lugar, realizar un análisis del criollo como intelectual orgánico, permitiendo apreciar como más que una crisis de identidad, el criollo debió enfrentarse a una crisis de representación, que desde la perspectiva teórica de Antonio Gramsci, ratifica la identificación de una ambigüedad en la retórica criolla y a la vez, valora la introducción del concepto de discurso de diferenciación como posible respuesta al debate de la sobrevaloración de la identidad criolla.

Exam 1999 pdf

Exam and solutions in PDF

MA158exam99pdf

Exam questions and solutions in PDF

MA17xexam01

Exam questions and solutions in LaTex. Diagrams for the questions are all together in the support.zip file, as .eps files

MA158exam98

Exam questions and solutions in LaTex

Exam 1998b pdf

Exam and solutions in PDF