-
Convergence of solutions of a rescaled evolution nonlocal cross-diffusion problem to its local diffusion counterpart
Authors:
Gonzalo Galiano,
Julián Velasco
Abstract:
We prove that, under a suitable rescaling of the integrable kernel defining the nonlocal diffusion terms, the corresponding sequence of solutions of the Shigesada-Kawasaki-Teramoto nonlocal cross-diffusion problem converges to a solution of the usual problem with local diffusion. In particular, the result may be regarded as a new proof of existence of solutions for the local diffusion problem.
We prove that, under a suitable rescaling of the integrable kernel defining the nonlocal diffusion terms, the corresponding sequence of solutions of the Shigesada-Kawasaki-Teramoto nonlocal cross-diffusion problem converges to a solution of the usual problem with local diffusion. In particular, the result may be regarded as a new proof of existence of solutions for the local diffusion problem.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Optimal Design of Membrane Cascades for Gaseous and Liquid Mixtures via MINLP
Authors:
Jose Adrian Chavez Velasco,
Radhakrishna Tumbalam Gooty,
Mohit Tawarmalani,
Rakesh Agrawal
Abstract:
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mi…
▽ More
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mixed Integer Non-linear Program (MINLP) that, for a given binary separation, which may be either liquid or gaseous, finds the cascade and its operating conditions that minimize energy consumption. To model the separation at each membrane in the cascade, we utilize the analytical solution of a system of differential and algebraic equations derived from the crossflow model and the solution-diffusion theory. We provide numerical evidence which shows that our single-stage membrane model accurately predicts experimental data. Unfortunately, the resulting membrane model is non-convex and, even state-of-the-art solvers struggle to prove global optimality of the cascades and the operating conditions identified. In this paper, we derive various cuts that help with relaxation quality and, consequently, accelerate convergence of branch-and-bound based solvers. More specifically, we demonstrate, on various examples, that our cuts help branch-and-bound solvers converge within 5\% optimality gap in a reasonable amount of time and such a tolerance level was not achieved by a simple formulation of the membrane model. The proposed optimization model is an easy-to-use tool for practitioners and researchers to design energy efficient membrane cascades.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Well-posedness of a cross-diffusion population model with nonlocal diffusion
Authors:
Gonzalo Galiano,
Julián Velasco
Abstract:
We prove the existence and uniqueness of solution of a nonlocal cross-diffusion competitive population model for two species. The model may be considered as a version, or even an approximation, of the paradigmatic Shigesada-Kawasaki-Teramoto cross-diffusion model, in which the usual diffusion differential operator is replaced by an integral diffusion operator. The proof of existence of solutions i…
▽ More
We prove the existence and uniqueness of solution of a nonlocal cross-diffusion competitive population model for two species. The model may be considered as a version, or even an approximation, of the paradigmatic Shigesada-Kawasaki-Teramoto cross-diffusion model, in which the usual diffusion differential operator is replaced by an integral diffusion operator. The proof of existence of solutions is based on a compactness argument, while the uniqueness of solution is achieved through a duality technique.
△ Less
Submitted 24 January, 2024; v1 submitted 10 May, 2019;
originally announced May 2019.
-
On a cross-diffusion system arising in image denosing
Authors:
Gonzalo Galiano,
Julián Velasco
Abstract:
We study a generalization of a cross-diffusion problem deduced from a nonlinear complex-variable diffusion model for signal and image denoising.
We prove the existence of weak solutions of the time-independent problem with fidelity terms under mild conditions on the data problem. Then, we show that this translates on the well-posedness of a quasi-steady state approximation of the evolution probl…
▽ More
We study a generalization of a cross-diffusion problem deduced from a nonlinear complex-variable diffusion model for signal and image denoising.
We prove the existence of weak solutions of the time-independent problem with fidelity terms under mild conditions on the data problem. Then, we show that this translates on the well-posedness of a quasi-steady state approximation of the evolution problem, and also prove the existence of weak solutions of the latter under more restrictive hypothesis.
We finally perform some numerical simulations for image denoising, comparing the performance of the cross-diffusion model and its corresponding scalar Perona-Malik equation.
△ Less
Submitted 24 January, 2024; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Existence and nonuniqueness of segregated solutions to a class of cross-diffusion systems
Authors:
Gonzalo Galiano,
Sergey Shmarev,
Julián Velasco
Abstract:
We study the the Dirichlet problem for the cross-diffusion system \[ \partial_tu_i=\operatorname{div}\left(a_iu_i\nabla (u_1+u_2)\right)+f_i(u_1,u_2),\quad i=1,2,\quad a_i=const>0, \] in the cylinder $Q=Ω\times (0,T]$. The functions $f_i$ are assumed to satisfy the conditions $f_1(0,r)=0$, $f_2(s,0)=0$, $f_1(0,r)$, $f_2(s,0)$ are locally Lipschitz-continuous. It is proved that for suitable initial…
▽ More
We study the the Dirichlet problem for the cross-diffusion system \[ \partial_tu_i=\operatorname{div}\left(a_iu_i\nabla (u_1+u_2)\right)+f_i(u_1,u_2),\quad i=1,2,\quad a_i=const>0, \] in the cylinder $Q=Ω\times (0,T]$. The functions $f_i$ are assumed to satisfy the conditions $f_1(0,r)=0$, $f_2(s,0)=0$, $f_1(0,r)$, $f_2(s,0)$ are locally Lipschitz-continuous. It is proved that for suitable initial data $u_0$, $v_0$ the system admits segregated solutions $(u_1,u_2)$ such that $u_i\in L^{\infty}(Q)$, $u_1+u_2\in C^{0}(\overline{Q})$, $u_1+u_2>0$ and $u_1\cdot u_2=0$ everywhere in $Q$. We show that the segregated solution is not unique and derive the equation of motion of the surface $Γ$ which separates the parts of $Q$ where $u_1>0$, or $u_2>0$. The equation of motion of $Γ$ is a modification of the Darcy law in filtration theory. Results of numerical simulation are presented.
△ Less
Submitted 14 November, 2013;
originally announced November 2013.
-
Fixed points for nilpotent actions on the plane and the Cartwright-Littlewood theorem
Authors:
S. Firmo,
J. Ribón,
J. Velasco
Abstract:
The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result of Bonatti for commuting diffeomorphisms of the 2-sphere and in particular it is satisfied by diffeomorphisms, not necessarily of class $C^{1}$, whose linear pa…
▽ More
The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result of Bonatti for commuting diffeomorphisms of the 2-sphere and in particular it is satisfied by diffeomorphisms, not necessarily of class $C^{1}$, whose linear part at every point is uniformly close to the identity. In this same setting we prove a version of the Cartwright-Littlewood theorem, obtaining fixed points in any continuum preserved by a nilpotent action.
△ Less
Submitted 2 June, 2013;
originally announced June 2013.
-
Mean field variational framework for integer optimization
Authors:
Arturo Berrones,
Jonás Velasco,
Juan Banda
Abstract:
A principled method to obtain approximate solutions of general constrained integer optimization problems is introduced. The approach is based on the calculation of a mean field probability distribution for the decision variables which is consistent with the objective function and the constraints. The original discrete task is in this way transformed into a continuous variational problem. In the co…
▽ More
A principled method to obtain approximate solutions of general constrained integer optimization problems is introduced. The approach is based on the calculation of a mean field probability distribution for the decision variables which is consistent with the objective function and the constraints. The original discrete task is in this way transformed into a continuous variational problem. In the context of particular problem classes at small and medium sizes, the mean field results are comparable to those of standard specialized methods, while at large sized instances is capable to find feasible solutions in computation times for which standard approaches can't find any valuable result. The mean field variational framework remains valid for widely diverse problem structures so it represents a promising paradigm for large dimensional nonlinear combinatorial optimization tasks.
△ Less
Submitted 5 May, 2013;
originally announced May 2013.
-
The maximum cut problem on blow-ups of multiprojective spaces
Authors:
Mauricio Junca Mauricio Velasco
Abstract:
The maximum cut problem for a quintic del Pezzo surface ${\rm Bl}_{4}(\mathbb{P}^2)$ asks: Among all partitions of the 10 exceptional curves into two disjoint sets, what is the largest possible number of pairwise intersections? In this article we show that the answer is twelve. More generally, we obtain bounds for the maximum cut problem for the minuscule varieties…
▽ More
The maximum cut problem for a quintic del Pezzo surface ${\rm Bl}_{4}(\mathbb{P}^2)$ asks: Among all partitions of the 10 exceptional curves into two disjoint sets, what is the largest possible number of pairwise intersections? In this article we show that the answer is twelve. More generally, we obtain bounds for the maximum cut problem for the minuscule varieties $X_{a,b,c}:={\rm Bl}_{b+c}(\mathbb{P}^{c-1})^{a-1}$ studied by Mukai and Castravet-Tevelev and show that these bounds are asymptotically sharp for infinite families. We prove our results by constructing embeddings of the classes of $(-1)$-divisors on these varieties which are optimal for the semidefinite relaxation of the maximum cut problem on graphs proposed by Goemans and Williamson. These results give a new optimality property of the Weyl orbits of root systems of type $A$,$D$ and $E$.
△ Less
Submitted 17 July, 2012;
originally announced July 2012.
-
Sums of Powers of Fibonacci and Lucas Polynomials in terms of Fibopolynomials
Authors:
Claudio de Jesus Pita Ruiz Velasco
Abstract:
We study sums of powers of Fibonacci and Lucas polynomials of the form $% \sum_{n=0}^{q}F_{tsn}^{k}(x) $ and $\sum_{n=0}^{q}L_{tsn}^{k}% (x) $, where $s,t,k$ are given natural numbers, together with the corresponding alternating sums $\sum_{n=0}^{q}(-1) ^{n}F_{tsn}^{k}(x) $ and $\sum_{n=0}^{q}(-1) ^{n}L_{tsn}^{k}(x) $. We give sufficient conditions on the parameters $s,t,k$ for express these sums…
▽ More
We study sums of powers of Fibonacci and Lucas polynomials of the form $% \sum_{n=0}^{q}F_{tsn}^{k}(x) $ and $\sum_{n=0}^{q}L_{tsn}^{k}% (x) $, where $s,t,k$ are given natural numbers, together with the corresponding alternating sums $\sum_{n=0}^{q}(-1) ^{n}F_{tsn}^{k}(x) $ and $\sum_{n=0}^{q}(-1) ^{n}L_{tsn}^{k}(x) $. We give sufficient conditions on the parameters $s,t,k$ for express these sums as linear combinations of certain $s$-Fibopolynomials.
△ Less
Submitted 5 March, 2013; v1 submitted 29 June, 2012;
originally announced June 2012.
-
On Bivariate s-Fibopolynomials
Authors:
Claudio de Jesús Pita Ruiz Velasco
Abstract:
In this article we study a generalization of Fibonomials, replacing the Fibonacci sequences by bivariate s-Fibonacci polynomial sequences. We call the obtained objects "Bivariate s-Fibopolynomials".
In this article we study a generalization of Fibonomials, replacing the Fibonacci sequences by bivariate s-Fibonacci polynomial sequences. We call the obtained objects "Bivariate s-Fibopolynomials".
△ Less
Submitted 27 March, 2012;
originally announced March 2012.
-
An estimation of distribution algorithm with adaptive Gibbs sampling for unconstrained global optimization
Authors:
Jonás Velasco,
Mario A. Saucedo-Espinosa,
Hugo Jair Escalante,
Karlo Mendoza,
César Emilio Villarreal-Rodríguez,
Óscar L. Chacón-Mondragón,
Adrián Rodríguez,
Arturo Berrones
Abstract:
In this paper is proposed a new heuristic approach belonging to the field of evolutionary Estimation of Distribution Algorithms (EDAs). EDAs builds a probability model and a set of solutions is sampled from the model which characterizes the distribution of such solutions. The main framework of the proposed method is an estimation of distribution algorithm, in which an adaptive Gibbs sampling is us…
▽ More
In this paper is proposed a new heuristic approach belonging to the field of evolutionary Estimation of Distribution Algorithms (EDAs). EDAs builds a probability model and a set of solutions is sampled from the model which characterizes the distribution of such solutions. The main framework of the proposed method is an estimation of distribution algorithm, in which an adaptive Gibbs sampling is used to generate new promising solutions and, in combination with a local search strategy, it improves the individual solutions produced in each iteration. The Estimation of Distribution Algorithm with Adaptive Gibbs Sampling we are proposing in this paper is called AGEDA. We experimentally evaluate and compare this algorithm against two deterministic procedures and several stochastic methods in three well known test problems for unconstrained global optimization. It is empirically shown that our heuristic is robust in problems that involve three central aspects that mainly determine the difficulty of global optimization problems, namely high-dimensionality, multi-modality and non-smoothness.
△ Less
Submitted 29 May, 2013; v1 submitted 11 July, 2011;
originally announced July 2011.