-
Ground-state blowing-up solutions for a Hardy-Sobolev equations on a manifold
Authors:
Hussein Cheikh Ali,
Frédéric Robert
Abstract:
We prove the existence of blowing-up families of solutions to an equation of Hardy-Sobolev type in high dimensions. These families are of minimal type. The sole condition is that the potential of the linear operator touches a critical potential at the singular point. This condition is sharp as shown by the first author in [Cheikh-Ali, Pacific J. of Math. 2022].
We prove the existence of blowing-up families of solutions to an equation of Hardy-Sobolev type in high dimensions. These families are of minimal type. The sole condition is that the potential of the linear operator touches a critical potential at the singular point. This condition is sharp as shown by the first author in [Cheikh-Ali, Pacific J. of Math. 2022].
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
Modulating function-based fast convergent observer for the Coupled Tanks system
Authors:
Bahia Hadj Ali,
Ania Adil,
Fazia Bedouhene
Abstract:
In this research, we apply the observer approach introduced by Djennoune et al. \cite{djennoune2019modulating} to estimate water levels in a coupled tanks system. Central to this approach is the use of a remarkable modulating function-based transformation $T_n $, which employs a time/output-dependent coordinate transformation. This transformation converts the original system into a form where the…
▽ More
In this research, we apply the observer approach introduced by Djennoune et al. \cite{djennoune2019modulating} to estimate water levels in a coupled tanks system. Central to this approach is the use of a remarkable modulating function-based transformation $T_n $, which employs a time/output-dependent coordinate transformation. This transformation converts the original system into a form where the effects of initial conditions are effectively nullified. The primary advantage of utilizing the $T_n $ transformation is its ability to achieve instantaneous convergence, ensuring both rapid and accurate state estimation. The observer's finite-time convergence is assured, with the estimation error remaining bounded within a finite period. Numerical simulations further validate the effectiveness of this method for the Coupled Tanks system, demonstrating the robustness of the $T_n $ transformation in practical applications.
△ Less
Submitted 24 December, 2024;
originally announced December 2024.
-
Hermite-type interpolation in terms of exponential polynomials
Authors:
Ali Hasan Ali,
Zsolt Páles
Abstract:
Motivated by classical results of approximation theory, we define an Hermite-type interpolation in terms of $n$-dimensional subspaces of the space of $n$ times continuously differentiable functions. In the main result of this paper, we establish an error term in integral form for this interpolation in the case when the $n$-dimensional subspace is the kernel of an $n$th order linear differential op…
▽ More
Motivated by classical results of approximation theory, we define an Hermite-type interpolation in terms of $n$-dimensional subspaces of the space of $n$ times continuously differentiable functions. In the main result of this paper, we establish an error term in integral form for this interpolation in the case when the $n$-dimensional subspace is the kernel of an $n$th order linear differential operator with constant coefficients. Several corollaries are deduced illustrating the applicability of this result.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Estimates of linear expressions through factorization
Authors:
Ali Hasan Ali,
Zsolt Páles
Abstract:
The aim of this paper is to establish various factorization results and then to derive estimates for linear functionals through the use of a generalized Taylor theorem. Additionally, several error bounds are established including applications to the trapezoidal rule as well as to a Simpson formula-type rule.
The aim of this paper is to establish various factorization results and then to derive estimates for linear functionals through the use of a generalized Taylor theorem. Additionally, several error bounds are established including applications to the trapezoidal rule as well as to a Simpson formula-type rule.
△ Less
Submitted 7 December, 2024;
originally announced December 2024.
-
From Mesh to Neural Nets: A Multi-Method Evaluation of Physics-Informed Neural Networks and Galerkin Finite Element Method for Solving Nonlinear Convection-Reaction-Diffusion Equations
Authors:
Fardous Hasan,
Hazrat Ali,
Hasan Asyari Arief
Abstract:
Non-linear convection-reaction-diffusion (CRD) partial differential equations (PDEs) are crucial for modeling complex phenomena in fields such as biology, ecology, population dynamics, physics, and engineering. Numerical approximation of these non-linear systems is essential due to the challenges of obtaining exact solutions. Traditionally, the Galerkin finite element method (GFEM) has been the st…
▽ More
Non-linear convection-reaction-diffusion (CRD) partial differential equations (PDEs) are crucial for modeling complex phenomena in fields such as biology, ecology, population dynamics, physics, and engineering. Numerical approximation of these non-linear systems is essential due to the challenges of obtaining exact solutions. Traditionally, the Galerkin finite element method (GFEM) has been the standard computational tool for solving these PDEs. With the advancements in machine learning, Physics-Informed Neural Network (PINN) has emerged as a promising alternative for approximating non-linear PDEs.
In this study, we compare the performance of PINN and GFEM by solving four distinct one-dimensional CRD problems with varying initial and boundary conditions and evaluate the performance of PINN over GFEM. This evaluation metrics includes error estimates, and visual representations of the solutions, supported by statistical methods such as the root mean squared error (RMSE), the standard deviation of error, the the Wilcoxon Signed-Rank Test and the coefficient of variation (CV) test.
Our findings reveal that while both methods achieve solutions close to the analytical results, PINN demonstrate superior accuracy and efficiency. PINN achieved significantly lower RMSE values and smaller standard deviations for Burgers' equation, Fisher's equation, and Newell-Whitehead-Segel equation, indicating higher accuracy and greater consistency. While GFEM shows slightly better accuracy for the Burgers-Huxley equation, its performance was less consistent over time. In contrast, PINN exhibit more reliable and robust performance, highlighting their potential as a cutting-edge approach for solving non-linear PDEs.
△ Less
Submitted 29 October, 2024;
originally announced November 2024.
-
Solving Obstacle Problems using Optimal Homotopy Asymptotic Method
Authors:
Muhammad Amjad,
Haider Ali
Abstract:
Differential equations have void applications in several practical situations, sciences, and non sciences as Euler Lagrange equation in classical mechanics, Radioactive decay in nuclear physics, Navier Stokes equations in fluid dynamics, Verhulst equation in biological population growth, Hodgkin Huxley model in neural action potentials, etc. The cantilever bridge problem is very important in Bridg…
▽ More
Differential equations have void applications in several practical situations, sciences, and non sciences as Euler Lagrange equation in classical mechanics, Radioactive decay in nuclear physics, Navier Stokes equations in fluid dynamics, Verhulst equation in biological population growth, Hodgkin Huxley model in neural action potentials, etc. The cantilever bridge problem is very important in Bridge Engineering and this can be modeled as a homogeneous obstacle problem in Mathematics. Due to this and various other applications, obstacle problems become an important part of our literature. A lot of work is dedicated to the solution of the obstacle problems. However, obstacle problems are not solved by the considered method in the literature we have visited. In this work, we have investigated the finding of the exact solution to several obstacle problems using the optimal homotopy asymptotic method (OHAM). The graphical representation of results represents the symmetry among them.
△ Less
Submitted 13 July, 2024;
originally announced July 2024.
-
A new gap in the critical exponent for semi-linear structurally damped evolution equations
Authors:
Khaldi Said,
Arioui Fatima Zahra,
Hakem Ali
Abstract:
Our aim in this paper is to discuss the critical exponent in semi-linear structurally damped wave and beam equations with additional dispersion term. The special model we have in mind is $$ u_{tt}(t,x)+(-Δ)^σu(t,x)+(-Δ)^{2δ}u(t,x)+2(-Δ)^δu_{t}(t,x)=\left|u(t,x)\right| ^{p} $$ where the initial displacement $u(0,x)=u_{0}(x)$, the initial velocity $u_{t}(0,x)=u_{1}(x)$ and the parameters…
▽ More
Our aim in this paper is to discuss the critical exponent in semi-linear structurally damped wave and beam equations with additional dispersion term. The special model we have in mind is $$ u_{tt}(t,x)+(-Δ)^σu(t,x)+(-Δ)^{2δ}u(t,x)+2(-Δ)^δu_{t}(t,x)=\left|u(t,x)\right| ^{p} $$ where the initial displacement $u(0,x)=u_{0}(x)$, the initial velocity $u_{t}(0,x)=u_{1}(x)$ and the parameters $ t\in [0,\infty)$, $x\in \mathbb{R}^{n}$, $σ\geq 1$, $δ\in(0,\fracσ{2})$, $p>1$. The solution to the linear equation at low frequency region involves an interplay of diffusion and oscillation phenomena represented by a real-complex Fourier multiplier of the form $$m(t,ξ)=\frac{e^{-|ξ|^{2δ}t\pm i|ξ|^σt}}{2i|ξ|^σ}, \ \ ξ\in \mathbb{R}^{n}, \ \ i=\sqrt{-1}.$$ The scaling argument shows that the diffusive part leads to faster decay rates compared to the oscillatory one. This interplay creates a new gap in the critical exponent between the blow up (in finite time) result when $1<p<1+\frac{4δ}{n-2δ}$ (sub-critical case) and the global (in time) existence result when $p>1+\frac{σ+2δ}{n-σ}$ (super-critical case). We leave an open to show if this gap will be closed at least in low or high space dimensions because, to the best of authors knowledge, the necessary Fourier multiplier that leads to the sub-critical case does not explicitly appear in $m(t,ξ)$.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Galerkin-Bernstein Approximations of the System of Time Dependent Nonlinear Parabolic PDEs
Authors:
Hazrat Ali,
Nilormy Gupta Trisha,
Md. Shafiqul Islam
Abstract:
The purpose of the research is to find the numerical solutions to the system of time dependent nonlinear parabolic partial differential equations (PDEs) utilizing the Modified Galerkin Weighted Residual Method (MGWRM) with the help of modified Bernstein polynomials. An approximate solution of the system has been assumed in accordance with the modified Bernstein polynomials. Thereafter, the modifie…
▽ More
The purpose of the research is to find the numerical solutions to the system of time dependent nonlinear parabolic partial differential equations (PDEs) utilizing the Modified Galerkin Weighted Residual Method (MGWRM) with the help of modified Bernstein polynomials. An approximate solution of the system has been assumed in accordance with the modified Bernstein polynomials. Thereafter, the modified Galerkin method has been applied to the system of nonlinear parabolic PDEs and has transformed the model into a time dependent ordinary differential equations system. Then the system has been converted into the recurrence equations by employing backward difference approximation. However, the iterative calculation is performed by using the Picard Iterative method. A few renowned problems are then solved to test the applicability and efficiency of our proposed scheme. The numerical solutions at different time levels are then displayed numerically in tabular form and graphically by figures. The comparative study is presented along with L2 norm, and L infinity norm.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
The obstacle problem for a higher order fractional Laplacian
Authors:
Donatella Danielli,
Alaa Haj Ali,
Arshak Petrosyan
Abstract:
In this paper, we consider the obstacle problem for the fractional Laplace operator $(-Δ)^s$ in the Euclidian space $\mathbb{R}^n$ in the case where $1<s<2$. As first observed in \cite{Y}, the problem can be extended to the upper half-space $\mathbb{R}_+^{n+1}$ to obtain a thin obstacle problem for the weighted biLaplace operator $Δ^2_b U$, where $Δ_b U=y^{-b}\nabla \cdot (y^b \nabla U)$. Such a p…
▽ More
In this paper, we consider the obstacle problem for the fractional Laplace operator $(-Δ)^s$ in the Euclidian space $\mathbb{R}^n$ in the case where $1<s<2$. As first observed in \cite{Y}, the problem can be extended to the upper half-space $\mathbb{R}_+^{n+1}$ to obtain a thin obstacle problem for the weighted biLaplace operator $Δ^2_b U$, where $Δ_b U=y^{-b}\nabla \cdot (y^b \nabla U)$. Such a problem arises in connection with unilateral phenomena for elastic, homogenous, and isotropic flat plates. We establish the well-posedness and $C_{loc}^{1,1}(\R^n) \cap H^{1+s}(\R^n)$-regularity of the solution. By writing the solutions in terms of Riesz potentials of suitable local measures, we can base our proofs on tools from potential theory, such as a continuity principle and a maximum principle. Finally, we deduce the regularity of the extension problem to the higher dimensional upper half space. This gives an extension of Schild's work in \cite{Sc1} and \cite{Sc2} from the case $b=0$ to the general case $-1<b<1$.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Fourth order Hardy-Sobolev equations: Singularity and doubly critical exponent
Authors:
Hussein Cheikh Ali
Abstract:
In dimension $N\geq 5$, and for $0<s<4$ with $γ\in\mathbb{R}$, we study the existence of nontrivial weak solutions for the doubly critical problem
$$Δ^2 u-\fracγ{|x|^4}u= |u|^{2_{0}^{\star}-2}u+\frac{|u|^{2_{s}^{\star}-2}u}{|x|^s}\hbox{ in }\mathbb{R}_+^N,\; u=Δu=0\hbox{ on }\partial \mathbb{R}_+^N,$$ where $2_{s}^{\star}:=\frac{2(N-s)}{N-4}$ is the critical Hardy-Sobolev exponent. For…
▽ More
In dimension $N\geq 5$, and for $0<s<4$ with $γ\in\mathbb{R}$, we study the existence of nontrivial weak solutions for the doubly critical problem
$$Δ^2 u-\fracγ{|x|^4}u= |u|^{2_{0}^{\star}-2}u+\frac{|u|^{2_{s}^{\star}-2}u}{|x|^s}\hbox{ in }\mathbb{R}_+^N,\; u=Δu=0\hbox{ on }\partial \mathbb{R}_+^N,$$ where $2_{s}^{\star}:=\frac{2(N-s)}{N-4}$ is the critical Hardy-Sobolev exponent. For $N\geq 8$ and $0<γ<\frac{(N^2-4)^2}{16}$, we show the existence of nontrivial solution using the Mountain-Pass theorem by Ambrosetti-Rabinowitz. The method used is based on the existence of extremals for certain Hardy-Sobolev embeddings that we prove in this paper.
△ Less
Submitted 10 September, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
A survey on obstacle-type problems for fourth order elliptic operators
Authors:
Donatella Danielli,
Alaa Haj Ali
Abstract:
In this article we give a brief overview of some known results in the theory of obstacle-type problems associated with a class of fourth-order elliptic operators, and we highlight our recent work with collaborators in this direction. Obstacle-type problems governed by operators of fourth order naturally arise in the linearized Kirchhoff-Love theory for plate bending phenomena. Moreover, as first o…
▽ More
In this article we give a brief overview of some known results in the theory of obstacle-type problems associated with a class of fourth-order elliptic operators, and we highlight our recent work with collaborators in this direction. Obstacle-type problems governed by operators of fourth order naturally arise in the linearized Kirchhoff-Love theory for plate bending phenomena. Moreover, as first observed by Yang in \cite{Y13}, boundary obstacle-type problems associated with the weighted bi-Laplace operator can be seen as extension problems, in the spirit of the one introduced by Caffarelli-Silvestre, for the fractional Laplacian $(-Δ)^s$ in the case $1<s<2$. In our recent work, we investigate some problems of this type, where we are concerned with the well-posedness of the problem, the regularity of solutions, and the structure of the free boundary. In our approach, we combine classical techniques from potential theory and the calculus of variations with more modern methods, such as the localization of the operator and monotonicity formulas.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Spacelike Curves of Constant-Ratio in Pseudo-Galilean Space
Authors:
H. S. Abdel-Aziz,
M. Khalifa Saad,
Haytham. A. Ali
Abstract:
In the theory of differential geometry curves, a curve is said to be of constant-ratio if the ratio of the length of the tangential and normal components of its position vector function is constant. In this paper, we study and characterize a spacelike admissible curve of constant-ratio in terms of its curvature functions in pseudo-Galilean space. Some special curves of constant-ratio such as T and…
▽ More
In the theory of differential geometry curves, a curve is said to be of constant-ratio if the ratio of the length of the tangential and normal components of its position vector function is constant. In this paper, we study and characterize a spacelike admissible curve of constant-ratio in terms of its curvature functions in pseudo-Galilean space. Some special curves of constant-ratio such as T and N constant types are investigated. As an application of our main results, some examples are given.
△ Less
Submitted 7 August, 2022;
originally announced August 2022.
-
A two phase boundary obstacle-type problem for the bi-Laplacian
Authors:
Donatella Danielli,
Alaa Haj Ali
Abstract:
In this paper we are concerned with a two phase boundary obstacle-type problem for the bi-Laplace operator in the upper unit ball. The problem arises in connection with unilateral phenomena for flat elastic plates. It can also be seen as an extension problem to an obstacle problem for the fractional Laplacian $(-Δ)^{3/2}$, as first observed in \cite{Y}. We establish the well-posedness and the opti…
▽ More
In this paper we are concerned with a two phase boundary obstacle-type problem for the bi-Laplace operator in the upper unit ball. The problem arises in connection with unilateral phenomena for flat elastic plates. It can also be seen as an extension problem to an obstacle problem for the fractional Laplacian $(-Δ)^{3/2}$, as first observed in \cite{Y}. We establish the well-posedness and the optimal regularity of the solution, and we study the structure of the free boundary. Our proofs are based on monotonicity formulas of Almgren- and Monneau-type.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Math That Matters: Enhancing Academic Mathematics' Impact on Society
Authors:
Christopher Thron,
Monira Taj Elsir Hamid Ali
Abstract:
Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less critical. The conceptual tools and insights provided by mathematics are the keys to unlocking the full information-processing potential of computers. Academic m…
▽ More
Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less critical. The conceptual tools and insights provided by mathematics are the keys to unlocking the full information-processing potential of computers. Academic mathematicians now have an unparalleled opportunity to make a huge impact on modern society: but to take advantage of this opportunity, mathematicians must prioritize making these tools and concepts accessible to a wider audience.
In this paper we present three examples of mathematics with significant social benefit: Dmitri Bertsimas' study of diabetes using k-nearest-neighbor methodology; Development of mathematical software (MATLAB and Sage); and ongoing development of data representation and visualization software to facilitate analysis of survey data. We also suggest steps to be taken by academic mathematicians in Nigeria towards enhancing the positive impact of mathematics on society.
△ Less
Submitted 31 March, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Analysis of self-equilibrated networks through cellular modeling
Authors:
Omar Aloui,
David Orden,
Nizar Bel Hadj Ali,
Landolf Rhode-Barbarigos
Abstract:
Network equilibrium models represent a versatile tool for the analysis of interconnected objects and their relationships. They have been widely employed in both science and engineering to study the behavior of complex systems under various conditions, including external perturbations and damage. In this paper, network equilibrium models are revisited through graph-theory laws and attributes with s…
▽ More
Network equilibrium models represent a versatile tool for the analysis of interconnected objects and their relationships. They have been widely employed in both science and engineering to study the behavior of complex systems under various conditions, including external perturbations and damage. In this paper, network equilibrium models are revisited through graph-theory laws and attributes with special focus on systems that can sustain equilibrium in the absence of external perturbations (self-equilibrium). A new approach for the analysis of self-equilibrated networks is proposed; they are modeled as a collection of cells, predefined elementary network units that have been mathematically shown to compose any self-equilibrated network. Consequently, the equilibrium state of complex self-equilibrated systems can be obtained through the study of individual cell equilibria and their interactions. A series of examples that highlight the flexibility of network equilibrium models are included in the paper. The examples attest how the proposed approach, which combines topological as well as geometrical considerations, can be used to decipher the state of complex systems.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
The second best constant for the Hardy-Sobolev inequality on manifolds
Authors:
Hussein Cheikh Ali
Abstract:
We consider the second best constant in the Hardy-Sobolev inequality on a Riemannian manifold. More precisely, we are interested with the existence of extremal functions for this inequality. This problem was tackled by Djadli-Druet [5] for Sobolev inequalities. Here, we establish the corresponding result for the singular case. In addition, we perform a blow-up analysis of solutions Hardy-Sobolev e…
▽ More
We consider the second best constant in the Hardy-Sobolev inequality on a Riemannian manifold. More precisely, we are interested with the existence of extremal functions for this inequality. This problem was tackled by Djadli-Druet [5] for Sobolev inequalities. Here, we establish the corresponding result for the singular case. In addition, we perform a blow-up analysis of solutions Hardy-Sobolev equations of minimizing type. This yields informations on the value of the second best constant in the related Riemannian functional inequality.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
On Topological Properties of Planar Octahedron Networks
Authors:
Haidar Ali,
Farzana Kousar
Abstract:
Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of inves…
▽ More
Topological indices are scientific details of graphs which represents its topology and of the most part graph invariant. In QSAR/QSPR, physico-chemical characteristics and topological indices, for example, atom bond connectivity (ABC) and geometric-arithmetic (GA) indices are apply to foresee the bioactivity of concoction mixes. Graph theory discovered a significant practice in the region of investigation. In this paper, we are taking Planar Octahedron networks, produced by honeycomb structure of dimension n and obtain analytical closed results of Multiplicative topological indices for firstly and presents closed formulas of degree based indices.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
On Topological Properties of Third type of Hex Derived Networks
Authors:
Haidar Ali,
Muhammad Ahsan Binyamin,
Muhammad Kashif Shafiq
Abstract:
In chemical graph theory, a topological index is a numerical representation of a chemical network while a topological descriptor correlates certain physico-chemical characteristics of underlying chemical compounds besides its chemical representation. Graph plays an vital role in modeling and designing any chemical network. F. Simonraj et al. derived new third type of Hex derived networks [27]. In…
▽ More
In chemical graph theory, a topological index is a numerical representation of a chemical network while a topological descriptor correlates certain physico-chemical characteristics of underlying chemical compounds besides its chemical representation. Graph plays an vital role in modeling and designing any chemical network. F. Simonraj et al. derived new third type of Hex derived networks [27]. In our work, we discuss the third type of hex derived networks HDN3(r), THDN3(r) and RHDN3(r) and computed exact results for topological indices which are based on degrees of end vertices.
△ Less
Submitted 24 April, 2019;
originally announced April 2019.
-
A Paneitz-Branson type equation with Neumann boundary conditions
Authors:
Denis Bonheure,
Hussein Cheikh Ali,
Robson Nascimento
Abstract:
We consider the best constant in a critical Sobolev inequality of second order. We show non-rigidity for the optimizers above a certain threshold, namely we prove that the best constant is achieved by a non-constant solution of the associated fourth-order elliptic problem under Neumann boundary conditions. Our arguments rely on asymptotic estimates of the Rayleigh quotient. We also show rigidity b…
▽ More
We consider the best constant in a critical Sobolev inequality of second order. We show non-rigidity for the optimizers above a certain threshold, namely we prove that the best constant is achieved by a non-constant solution of the associated fourth-order elliptic problem under Neumann boundary conditions. Our arguments rely on asymptotic estimates of the Rayleigh quotient. We also show rigidity below another threshold.
△ Less
Submitted 10 October, 2019; v1 submitted 25 March, 2019;
originally announced March 2019.
-
Affine Factorable Surfaces in Pseudo-Galilean Space
Authors:
H. S. Abdel-Aziz,
M. Khalifa Saad,
Haytham. A. Ali
Abstract:
An affine factorable surface of the second kind in the three dimensional pseudo-Galilean space G13 is studied depending on the invariant theory and theory of differential equation. The first and second fundamental forms, Gaussian curvature and mean curvature of the meant surface are obtained according to the basic principles of differential geometry. Also, some special cases are presented by chang…
▽ More
An affine factorable surface of the second kind in the three dimensional pseudo-Galilean space G13 is studied depending on the invariant theory and theory of differential equation. The first and second fundamental forms, Gaussian curvature and mean curvature of the meant surface are obtained according to the basic principles of differential geometry. Also, some special cases are presented by changing the partial differential equation into the ordinary differential equation to simplify the solving process. The classification theorems of the considered surface with zero and non zero Gaussian and mean curvatures are given. Some examples of such a study are provided
△ Less
Submitted 29 November, 2018;
originally announced December 2018.
-
The One-Phase Bifurcation For The p-Laplacian
Authors:
Alaa Haj Ali,
Peiyong Wang
Abstract:
A bifurcation about the uniqueness of a solution of a singularly perturbed free boundary problem of phase transition associated with the p-Laplacian, subject to given boundary condition is proved in this paper. We show this phenomenon by proving the existence of a third solution through the Mountain Pass Lemma when the boundary data decreases below a threshold. In the second part, we prove the con…
▽ More
A bifurcation about the uniqueness of a solution of a singularly perturbed free boundary problem of phase transition associated with the p-Laplacian, subject to given boundary condition is proved in this paper. We show this phenomenon by proving the existence of a third solution through the Mountain Pass Lemma when the boundary data decreases below a threshold. In the second part, we prove the convergence of an evolution to stable solutions, and show the Mountain Pass solution is unstable in this sense.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Symmetry and Approximate Symmetry of a Nonlinear Elliptic Problem over a Ring
Authors:
Alaa Haj Ali,
Dongsheng Li,
Peiyong Wang
Abstract:
A singularly perturbed free boundary problem arising from a real problem associated with a Radiographic Integrated Test Stand concerns a solution of the equation $Δu = f(u)$ in a domain $Ω$ subject to constant boundary data, where the function $f$ in general is not monotone. When the domain $Ω$ is a perfect ring, we incorporate a new idea of radial correction into the classical moving plane method…
▽ More
A singularly perturbed free boundary problem arising from a real problem associated with a Radiographic Integrated Test Stand concerns a solution of the equation $Δu = f(u)$ in a domain $Ω$ subject to constant boundary data, where the function $f$ in general is not monotone. When the domain $Ω$ is a perfect ring, we incorporate a new idea of radial correction into the classical moving plane method to prove the radial symmetry of a solution. When the domain is slightly shifted from a ring, we establish the stability of the solution by showing the approximate radial symmetry of the free boundary and the solution. For this purpose, we complete the proof via an evolutionary point of view, as an elliptic comparison principle is false, nevertheless a parabolic one holds.
△ Less
Submitted 6 July, 2018; v1 submitted 19 November, 2017;
originally announced November 2017.
-
Congestion Management by a Real-Time Optimal Dispatch through Balancing Mechanism Method for Electricity Markets
Authors:
Barati Masoud,
Shayanfar Heidar Ali,
Kazemi Ahad
Abstract:
A real-time optimal dispatch method for unbundle electricity markets is proposed in this paper. With this method, pool energy auction market, ancillary services market, and bilateral contract market can be coordinated by the ISO through a balancing market for the purpose of system security. To meet real-time imbalance and to eliminate transmission congestion, operating reserves, curtailment of bil…
▽ More
A real-time optimal dispatch method for unbundle electricity markets is proposed in this paper. With this method, pool energy auction market, ancillary services market, and bilateral contract market can be coordinated by the ISO through a balancing market for the purpose of system security. To meet real-time imbalance and to eliminate transmission congestion, operating reserves, curtailment of bilateral contracts, and supplemental energy bids in the real-time balancing market (REM), can all be called upon in light of their bidding prices. The replacement of the operating reserves used to provide balancing energy is incorporated into the objective of the real-time optimal dispatch problem. A modified P-Q decoupled optimal power flow (OPF) is employed to implement this method. Spot pricing for the real-time dispatch is presented. The IEEE 30-bus test system is studied to illustrate the proposed framework.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Congestion Relief and Load Curtailment Reduction with FACTS Devices
Authors:
Barati Masoud,
Shayanfar Heidar Ali,
Kazemi Ahad
Abstract:
This paper investigates the effect of FACTS Devices on voltage stability constrained Optimal Power Flow (OPF) formulation where the objective function is to minimize power system load curtailment. Incorporating FACTS Devices affects the topology and hence the power flow distribution. Some numerical cases are presented to discuss the effects of FACTS Devices that is expected when it is incorporated…
▽ More
This paper investigates the effect of FACTS Devices on voltage stability constrained Optimal Power Flow (OPF) formulation where the objective function is to minimize power system load curtailment. Incorporating FACTS Devices affects the topology and hence the power flow distribution. Some numerical cases are presented to discuss the effects of FACTS Devices that is expected when it is incorporated into the load curtailment formulation. The test result reflects the impacts FACTS Devices has in reducing load curtailment during a line congestion situation. The paper also discusses the applicability of approach in security based reliability studies for systems having control components like FACTS Devices.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
The Asymptotic Performance of Linear Echo State Neural Networks
Authors:
Romain Couillet,
Gilles Wainrib,
Harry Sevi,
Hafiz Tiomoko Ali
Abstract:
In this article, a study of the mean-square error (MSE) performance of linear echo-state neural networks is performed, both for training and testing tasks. Considering the realistic setting of noise present at the network nodes, we derive deterministic equivalents for the aforementioned MSE in the limit where the number of input data $T$ and network size $n$ both grow large. Specializing then the…
▽ More
In this article, a study of the mean-square error (MSE) performance of linear echo-state neural networks is performed, both for training and testing tasks. Considering the realistic setting of noise present at the network nodes, we derive deterministic equivalents for the aforementioned MSE in the limit where the number of input data $T$ and network size $n$ both grow large. Specializing then the network connectivity matrix to specific random settings, we further obtain simple formulas that provide new insights on the performance of such networks.
△ Less
Submitted 25 March, 2016;
originally announced March 2016.
-
A new approach to the Pontryagin maximum principle for nonlinear fractional optimal control problems
Authors:
H. M. Ali,
F. Lobo Pereira,
S. M. A. Gama
Abstract:
In this paper, we discuss a new general formulation of fractional optimal control problems whose performance index is in the fractional integral form and the dynamics are given by a set of fractional differential equations in the Caputo sense. We use a new approach to prove necessary conditions of optimality in the form of Pontryagin maximum principle for fractional nonlinear optimal control probl…
▽ More
In this paper, we discuss a new general formulation of fractional optimal control problems whose performance index is in the fractional integral form and the dynamics are given by a set of fractional differential equations in the Caputo sense. We use a new approach to prove necessary conditions of optimality in the form of Pontryagin maximum principle for fractional nonlinear optimal control problems. Moreover, a new method based on a generalization of the Mittag-Leffler function is used to solving this class of fractional optimal control problems. A simple example is provided to illustrate the effectiveness of our main result.
△ Less
Submitted 10 April, 2015; v1 submitted 26 March, 2015;
originally announced March 2015.
-
Optimization of mesh hierarchies in Multilevel Monte Carlo samplers
Authors:
Abdul Lateef Haji Ali,
Fabio Nobile,
Erik von Schwerin,
Raul Tempone
Abstract:
We perform a general optimization of the parameters in the Multilevel Monte Carlo (MLMC) discretization hierarchy based on uniform discretization methods with general approximation orders and computational costs. We optimize hierarchies with geometric and non-geometric sequences of mesh sizes and show that geometric hierarchies, when optimized, are nearly optimal and have the same asymptotic compu…
▽ More
We perform a general optimization of the parameters in the Multilevel Monte Carlo (MLMC) discretization hierarchy based on uniform discretization methods with general approximation orders and computational costs. We optimize hierarchies with geometric and non-geometric sequences of mesh sizes and show that geometric hierarchies, when optimized, are nearly optimal and have the same asymptotic computational complexity as non-geometric optimal hierarchies. We discuss how enforcing constraints on parameters of MLMC hierarchies affects the optimality of these hierarchies. These constraints include an upper and a lower bound on the mesh size or enforcing that the number of samples and the number of discretization elements are integers. We also discuss the optimal tolerance splitting between the bias and the statistical error contributions and its asymptotic behavior. To provide numerical grounds for our theoretical results, we apply these optimized hierarchies together with the Continuation MLMC Algorithm. The first example considers a three-dimensional elliptic partial differential equation with random inputs. Its space discretization is based on continuous piecewise trilinear finite elements and the corresponding linear system is solved by either a direct or an iterative solver. The second example considers a one-dimensional Itô stochastic differential equation discretized by a Milstein scheme.
△ Less
Submitted 25 March, 2015; v1 submitted 11 March, 2014;
originally announced March 2014.
-
Revisiting several problems and algorithms in continuous location with $\ell_p$ norms
Authors:
Víctor Blanco,
Justo Puerto,
Safae El Haj Ben Ali
Abstract:
This paper addresses the general continuous single facility location problems in finite dimension spaces under possibly different $\ell_p$ norms in the demand points. We analyze the difficulty of this family of problems and revisit convergence properties of some well-known algorithms. The ultimate goal is to provide a common approach to solve the family of continuous $\ell_p$ ordered median locati…
▽ More
This paper addresses the general continuous single facility location problems in finite dimension spaces under possibly different $\ell_p$ norms in the demand points. We analyze the difficulty of this family of problems and revisit convergence properties of some well-known algorithms. The ultimate goal is to provide a common approach to solve the family of continuous $\ell_p$ ordered median location problems in dimension $d$ (including of course the $\ell_p$ minisum or Fermat-Weber location problem for any $p\ge 1$). We prove that this approach has a polynomial worse case complexity for monotone lambda weights and can be also applied to constrained and even non-convex problems.
△ Less
Submitted 28 December, 2013;
originally announced December 2013.
-
Approximate Deconvolution Model in a bounded domain with a vertical regularization
Authors:
Hani Ali
Abstract:
We study the global existence issue for a three-dimensional Approximate Deconvolution Model with a vertical filter. We consider this model in a bounded cylindrical domain where we construct a unique global weak solution. The proof is based on a refinement of the energy method given by Berselli in [3].
We study the global existence issue for a three-dimensional Approximate Deconvolution Model with a vertical filter. We consider this model in a bounded cylindrical domain where we construct a unique global weak solution. The proof is based on a refinement of the energy method given by Berselli in [3].
△ Less
Submitted 17 January, 2013;
originally announced January 2013.
-
Discrete-Time Chaotic-Map Truly Random Number Generators: Design, Implementation, and Variability Analysis of the Zigzag Map
Authors:
Hamid Nejati,
Ahmad Beirami,
Warsame H. Ali
Abstract:
In this paper, we introduce a novel discrete chaotic map named zigzag map that demonstrates excellent chaotic behaviors and can be utilized in Truly Random Number Generators (TRNGs). We comprehensively investigate the map and explore its critical chaotic characteristics and parameters. We further present two circuit implementations for the zigzag map based on the switched current technique as well…
▽ More
In this paper, we introduce a novel discrete chaotic map named zigzag map that demonstrates excellent chaotic behaviors and can be utilized in Truly Random Number Generators (TRNGs). We comprehensively investigate the map and explore its critical chaotic characteristics and parameters. We further present two circuit implementations for the zigzag map based on the switched current technique as well as the current-mode affine interpolation of the breakpoints. In practice, implementation variations can deteriorate the quality of the output sequence as a result of variation of the chaotic map parameters. In order to quantify the impact of variations on the map performance, we model the variations using a combination of theoretical analysis and Monte-Carlo simulations on the circuits. We demonstrate that even in the presence of the map variations, a TRNG based on the zigzag map passes all of the NIST 800-22 statistical randomness tests using simple post processing of the output data.
△ Less
Submitted 5 June, 2012;
originally announced June 2012.
-
Theory for the Rotational Deconvolution model of Turbulence with Fractional regularization
Authors:
Hani Ali
Abstract:
We introduce a new regularization of the rotational Navier-Stokes equations that we call the Rotational Approximate Deconvolution Model (RADM). We generalize the deconvolution type model, studied by Berselli and Lewandowski [5], to the RADM model with fractional regularization where the convergence of the solution is studied with weaker conditions on the parameter regularization.
We introduce a new regularization of the rotational Navier-Stokes equations that we call the Rotational Approximate Deconvolution Model (RADM). We generalize the deconvolution type model, studied by Berselli and Lewandowski [5], to the RADM model with fractional regularization where the convergence of the solution is studied with weaker conditions on the parameter regularization.
△ Less
Submitted 13 April, 2012;
originally announced April 2012.
-
Global well-posedness for Deconvolution Magnetohydrodynamics models with Fractional regularization
Authors:
Hani Ali
Abstract:
In this paper, we consider two Approximate Deconvolution Magnetohydrodynamics models which are related to Large Eddy Simulation. We first study existence and uniqueness of solutions in the double viscous case. Then, we study existence and uniqueness of solutions of the Approximate Deconvolution MHD model with magnetic diffusivity, but without kinematic viscosity. In each case, we give the optimal…
▽ More
In this paper, we consider two Approximate Deconvolution Magnetohydrodynamics models which are related to Large Eddy Simulation. We first study existence and uniqueness of solutions in the double viscous case. Then, we study existence and uniqueness of solutions of the Approximate Deconvolution MHD model with magnetic diffusivity, but without kinematic viscosity. In each case, we give the optimal value of regularizations where we can prove global existence and uniqueness of the solutions. The second model includes the Approximate Deconvolution Euler Model as a particular case. Finally, an asymptotic stability result is shown in the double viscous case with weaker condition on the regularization parameter.
△ Less
Submitted 27 December, 2012; v1 submitted 8 September, 2011;
originally announced September 2011.
-
Analysis of the Leray-α model with Navier slip boundary condition
Authors:
Hani Ali,
Petr Kaplický
Abstract:
In this paper, we establish the existence and the regularity of a unique weak solution to turbulent flows in a bounded domain $Ω\subset \mathbb R^3$ governed by the so-called Leray-α model. We consider the Navier slip boundary conditions for the velocity. Furthermore, we show that, when the filter coefficient α tends to zero, the weak solution constructed converges to a suitable weak solution to t…
▽ More
In this paper, we establish the existence and the regularity of a unique weak solution to turbulent flows in a bounded domain $Ω\subset \mathbb R^3$ governed by the so-called Leray-α model. We consider the Navier slip boundary conditions for the velocity. Furthermore, we show that, when the filter coefficient α tends to zero, the weak solution constructed converges to a suitable weak solution to the incompressible Navier Stokes equations subject to the Navier boundary condition. Similarly, if λ tends to 1- we recover a solution to the Leray-α model with the homogeneous Dirichlet boundary conditions.
△ Less
Submitted 28 July, 2011;
originally announced July 2011.
-
Large Eddy Simulation for Turbulent Flows with Critical Regularization
Authors:
Hani Ali
Abstract:
In this paper, we establish the existence of a unique "regular" weak solution to the Large Eddy Simulation (LES) models of turbulence with critical regularization. We first consider the critical LES for the Navier-Stokes equations and we show that its solution converges to a solution of the Navier-Stokes equations as the averaging radii converge to zero. Then we extend the study to the critical LE…
▽ More
In this paper, we establish the existence of a unique "regular" weak solution to the Large Eddy Simulation (LES) models of turbulence with critical regularization. We first consider the critical LES for the Navier-Stokes equations and we show that its solution converges to a solution of the Navier-Stokes equations as the averaging radii converge to zero. Then we extend the study to the critical LES for Magnetohydrodynamics equations.
△ Less
Submitted 7 July, 2011;
originally announced July 2011.
-
Mathematical results for some $\displaystyleα$ models of turbulence with critical and subcritical regularizations
Authors:
Hani Ali
Abstract:
In this paper, we establish the existence of a unique "regular" weak solution to turbulent flows governed by a general family of $α$ models with critical regularizations. In particular this family contains the simplified Bardina model and the modified Leray-$α$ model. When the regularizations are subcritical, we prove the existence of weak solutions and we establish an upper bound on the Hausdorff…
▽ More
In this paper, we establish the existence of a unique "regular" weak solution to turbulent flows governed by a general family of $α$ models with critical regularizations. In particular this family contains the simplified Bardina model and the modified Leray-$α$ model. When the regularizations are subcritical, we prove the existence of weak solutions and we establish an upper bound on the Hausdorff dimension of the time singular set of those weak solutions. The result is an interpolation between the bound proved by Scheffer for the Navier-Stokes equations and the regularity result in the critical case.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
On a critical Leray$-α$ model of turbulence
Authors:
Hani Ali
Abstract:
This paper aims to study a family of Leray-$α$ models with periodic bounbary conditions. These models are good approximations for the Navier-Stokes equations. We focus our attention on the critical value of regularization "$θ$" that garantees the global well-posedness for these models. We conjecture that $θ= 1/4$ is the critical value to obtain such results.
When alpha goes to zero, we prove tha…
▽ More
This paper aims to study a family of Leray-$α$ models with periodic bounbary conditions. These models are good approximations for the Navier-Stokes equations. We focus our attention on the critical value of regularization "$θ$" that garantees the global well-posedness for these models. We conjecture that $θ= 1/4$ is the critical value to obtain such results.
When alpha goes to zero, we prove that the Leray-$α$ solution, with critical regularization, gives rise to a suitable solution to the Navier-Stokes equations. We also introduce an interpolating deconvolution operator that depends on "$θ$". Then we extend our results of existence, uniqueness and convergence to a family of regularized magnetohydrodynamics equations.
△ Less
Submitted 3 March, 2011;
originally announced March 2011.
-
Singularity \& Regularity Issues for Simplified Models of Turbulence
Authors:
Hani Ali,
Zied Ammari
Abstract:
We consider a family of Leray-$α$ models with periodic boundary conditions in three space dimensions. Such models are a regularization, with respect to a parameter $θ$, of the Navier-Stokes equations. In particular, they share with the original equation (NS) the property of existence of global weak solutions. We establish an upper bound on the Hausdorff dimension of the time singular set of those…
▽ More
We consider a family of Leray-$α$ models with periodic boundary conditions in three space dimensions. Such models are a regularization, with respect to a parameter $θ$, of the Navier-Stokes equations. In particular, they share with the original equation (NS) the property of existence of global weak solutions. We establish an upper bound on the Hausdorff dimension of the time singular set of those weak solutions when $θ$ is subcritical. The result is an interpolation between the bound proved by Scheffer for the Navier-Stokes equations and the regularity result proved in \cite{A01}.
△ Less
Submitted 3 March, 2011;
originally announced March 2011.
-
Ladder Theorem for a Leray alpha model of turbulence
Authors:
Hani Ali
Abstract:
In this paper, we study the Modified Leray alpha model with periodic boundary conditions. We show that when the initial data are infinitely differentiable then the unique solution are infinitely differentiable in space and time. Furthermore, this regular solution verifies a sequence of energy inequalities that is called "ladder inequalities".
In this paper, we study the Modified Leray alpha model with periodic boundary conditions. We show that when the initial data are infinitely differentiable then the unique solution are infinitely differentiable in space and time. Furthermore, this regular solution verifies a sequence of energy inequalities that is called "ladder inequalities".
△ Less
Submitted 15 April, 2011; v1 submitted 2 November, 2009;
originally announced November 2009.
