Researcher profile

Tobias Schaefer

Tobias Schaefer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2015arXiv

A state vector algebra for algorithmic implementation of second-order logic

We present a mathematical framework for mapping second-order logic relations onto a simple state vector algebra. Using this algebra, basic theorems of set theory can be proven in an algorithmic way, hence by an expert system. We illustrate the use of the algebra with simple examples and show that, in principle, all theorems of basic set theory can be recovered in an elementary way. The developed technique can be used for an automated theorem proving in the 1st and 2nd order logic.

preprint2013arXiv

Averaging and spectral properties for the 2D advection-diffusion equation in the semi-classical limit for vanishing diffusivity

We consider the two-dimensional advection-diffusion equation on a bounded domain subject to either Dirichlet or von Neumann boundary conditions and study both time-independent and time-periodic cases involving Liouville integrable Hamiltonians that satisfy conditions conducive to applying the averaging principle. Transformation to action-angle coordinates permits averaging in time and angle, leading to an underlying eigenvalue equation that allows for separation of the angle and action coordinates. The result is a one-dimensional second-order equation involving an anti-symmetric imaginary potential. For radial flows on a disk or an annulus, we rigorously apply existing complex-plane WKBJ methods to study the spectral properties in the semi-classical limit for vanishing diffusivity. In this limit, the spectrum is found to be a complicated set consisting of lines related to Stokes graphs. Eigenvalues in the neighborhood of these graphs exhibit nonlinear scaling with respect to diffusivity leading to convection-enhanced rates of dissipation (relaxation, mixing) for initial data which are mean-free in the angle coordinate. These branches coexist with a diffusive branch of eigenvalues that scale linearly with diffusivity and contain the principal eigenvalue (no dissipation enhancement).

preprint2013arXiv

Propagation of ultra-short solitons in stochastic Maxwell's equations

We study the propagation of ultra-short short solitons in a cubic nonlinear medium modeled by nonlinear Maxwell's equations with stochastic variations of media. We consider three cases: variations of (a) the dispersion, (b) the phase velocity, (c) the nonlinear coefficient. Using a modified multi-scale expansion for stochastic systems, we derive new stochastic generalizations of the short pulse equation that approximate the solutions of stochastic nonlinear Maxwell's equations. Numerical simulations show that soliton solutions of the short pulse equation propagate stably in stochastic nonlinear Maxwell's equations and that the generalized stochastic short pulse equations approximate the solutions to the stochastic Maxwell's equations over the distances under consideration. This holds for both a pathwise comparison of the stochastic equations as well as for a comparison of the resulting probability densities.

preprint2013arXiv

The space-fractional diffusion-advection equation: Analytical solutions and critical assessment of numerical solutions

The present work provides a critical assessment of numerical solutions of the space-fractional diffusion-advection equation, which is of high significance for applications in various natural sciences. In view of the fact that, in contrast to the case of normal (Gaussian) diffusion, no standard methods and corresponding numerical codes for anomalous diffusion problems have been established yet, it is of importance to critically assess the accuracy and performance of existing approaches. Three numerical methods, namely a finite-difference method, the so-called matrix transfer technique, and a Monte-Carlo method based on the solution of stochastic differential equations, are analyzed and compared by applying them to three selected test problems for which analytical or semi-analytical solutions were known or are newly derived. The accuracy and performance differences are critically discussed with the result that the use of stochastic differential equations appears to be advantageous.

preprint2012arXiv

Higher-order corrections to the short-pulse equation

Using renormalization group techniques, we derive an extended short- pulse equation as approximation to a nonlinear wave equation. We investigate the new equation numerically and show that the new equation captures efficiently higher- order effects on pulse propagation in cubic nonlinear media. We illustrate our findings using one- and two-soliton solutions of the first-order short-pulse equation as initial conditions in the nonlinear wave equation.

preprint2012arXiv

Symmetrization of advection-diffusion operators

We present a new method to transform an expanded class of non-selfadjoint advection-diffusion operators into self-adjoint operators. The transform is based on a combination of a point transform and Lie transform in conjunction with an asymptotic expansion in terms of the diffusivity. We illustrate the method in the context of simple shear flow where the expansion is exact and all transformation steps can be performed explicitly.