On a 3D-Hypersingular Equation of a Problem for a Crack

MSC 2010: 45DB05, 45E05, 78A45

Inverse Problem for Fractional Diffusion Equation

MSC 2010: 26A33, 33E12, 34K29, 34L15, 35K57, 35R30

On the Transformations of Symplectic Expansions and the Respective Bäcklund Transformation for the KDV Equation

2000 Mathematics Subject Classification: Primary: 34B40; secondary: 35Q51, 35Q53

Binomial Skew Polynomial Rings, Artin-Schelter Regularity, and Binomial Solutions of the Yang-Baxter Equation

2000 Mathematics Subject Classification: Primary 81R50, 16W50, 16S36, 16S37.

An efficient, approximate path-following algorithm for elastic net based nonlinear spike enhancement

Unwanted spike noise in a digital signal is a common problem in digital filtering. However, sometimes the spikes are wanted and other, superimposed, signals are unwanted, and linear, time invariant (LTI) filtering is ineffective because the spikes are wideband - overlapping with independent noise in the frequency domain. So, no LTI filter can separate them, necessitating nonlinear filtering. However, there are applications in which the noise includes drift or smooth signals for which LTI filters are ideal. We describe a nonlinear filter formulated as the solution to an elastic net regularization problem, which attenuates band-limited signals and independent noise, while enhancing superimposed spikes. Making use of known analytic solutions a novel, approximate path-following algorithm is given that provides a good, filtered output with reduced computational effort by comparison to standard convex optimization methods. Accurate performance is shown on real, noisy electrophysiological recordings of neural spikes.

Dispersive Estimates of Solutions to the Wave Equation with a Potential in Dimensions Two and Three

2000 Mathematics Subject Classification: 35L15, 35B40, 47F05.

Necessary and Sufficient Condition for Oscillations of Neutral Differential Equation

2000 Mathematics Subject Classification: 34K15, 34C10.

Nonlocal Boundary Value Problems for Two-Dimensional Potential Equation on a Rectangle

Иван Димовски, Юлиан Цанков - Предложено е разширение на принципa на Дюамел. За намиране на явно решение на нелокални гранични задачи от този тип е развито операционно смятане основано върху некласическа двумерна конволюция. Пример от такъв тип е задачата на Бицадзе-Самарски.

Global Results for Solution to the Mass-Critical Schrödinger Equation with Convolution Nonlinearity in R^n

Георги Венков, Христо Генев - Разглеждаме един клас от L^2 - критични нелинейни уравнения на Шрьодингер в R^(1+n) с конволюционна нелинейност от тип Хартри. Целта ни е да установим локалното и глобално съществуване на решенията, както и коректност на задачата на Коши в достатъчно малка околност на нулата в пространството L^2 (R^n). Като естествено следствие на глобалните резултати ние доказваме съществуване на оператор на разсейване за малки начални условия.

Singular Solutions with Exponential Growth for the (3+1)-D Wave Equation

Недю И. Попиванов, Тодор П. Попов, Рудолф Шерер - Разглеждат се четиримерни гранични задачи за нехомогенното вълново уравнение. Те са предложени от М. Протер като многомерни аналози на задачата на Дарбу в равнината. Известно е, че единственото обобщено решение може да има силна степенна особеност само в една гранична точка. Тази сингулярност е изолирана във върха на характеристичния конус и не се разпространява по конуса. Друг аспект на проблема е, че задачата не е фредхолмова, тъй като има безкрайномерно коядро. Предишни резултати сочат, че решението може да има най-много експоненциален ръст, но оставят открит въпроса дали наистина съществуват такива решения. Показваме, че отговора на този въпрос е положителен и строим обобщено решение на задачата на Протер с експоноциална особеност.

Exact Solutions of Nonlocal Boundary Value Problems for One- and Two-Dimensional Heat Equation

Иван Хр. Димовски, Юлиан Ц. Цанков - Предложен е метод за намиране на явни решения на клас двумерни уравнения на топлопроводността с нелокални условия по пространствените променливи. Методът е основан на директно тримерно операционно смятане. Класическата дюамелова конволюция е комбинирана с две некласически конволюции за операторите ∂xx и ∂yy в една тримерна конволюция. Съответното операционно смятане използва мултипликаторни частни. Мултипликаторните частни позволяват да се продължи принципът на Дюамел за пространствените променливи и да се намерят явни решения на разглежданите гранични задачи. Общите разглеждания са приложени в случая на гранични условия от типа на Йонкин. Намерени са експлицитни решения в затворен вид.

Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.

Canonically Conjugate Variables for the μCH Equation

2010 Mathematics Subject Classification: 35Q35, 37K10.

Approximate axial symmetries from continuous time quantum walks

The analysis of complex networks is usually based on key properties such as small-worldness and vertex degree distribution. The presence of symmetric motifs on the other hand has been related to redundancy and thus robustness of the networks. In this paper we propose a method for detecting approximate axial symmetries in networks. For each pair of nodes, we define a continuous-time quantum walk which is evolved through time. By measuring the probability that the quantum walker to visits each node of the network in this time frame, we are able to determine whether the two vertices are symmetrical with respect to any axis of the graph. Moreover, we show that we are able to successfully detect approximate axial symmetries too. We show the efficacy of our approach by analysing both synthetic and real-world data. © 2012 Springer-Verlag Berlin Heidelberg.

A Stochastic Control Approach to a Parabolic Equation, Reciprocal Processes

2000 Mathematics Subject Classi cation: 49L60, 60J60, 93E20.