Questions tagged [operators]
Questions about using or composing operators--functional mappings from one state or vector space to another.
1
vote
1answer
46 views
Partial trace and Partial Transposition of a matrix easily?
Could someone help me to understand as to how to compute the partial trace and partial-transposition of an arbitrary matrix? I mean, is there any code to carry out these operations in Mathematica?
...
3
votes
4answers
95 views
define an operator
How is it possible to define the operator
$(x+\frac{d}{dx})^n$ as a function of $n$?
I use
op[x_] = (x + D[#, x]) &;
with the action on, for example, $\cos(...
0
votes
2answers
54 views
A list of operators in the For cycle
I'm pretty sure that analogous questions have been asked here a zillion of times, but...
I think it is pretty straightforward from the code what I expect it to give:
...
1
vote
0answers
20 views
Operator valued functions [duplicate]
For some parts of physics it is useful to define an operator valued function
Take for example
R[K_] := Sum[K[[j]] D[#, K[[j]]], {j, 1, 4}]
It is supposed to be ...
2
votes
3answers
89 views
Noncommutative Expand into power series
I am new to Mathematica and am trying to apply it to quantum mechanics problems.
The practice project I am dealing with now is considering quantum harmonic oscillator and ladder operator algebra ...
4
votes
1answer
48 views
Operator form for Histogram of multiple datasets?
I would like to plot a histogram for multiple datasets in a dataset query, but can't quite seem to make it work in operator notation:
...
5
votes
1answer
135 views
Associativity of upvalue
how can I ensure the following definition to be associative?
Unprotect[Times];
a_ f[x_] + b_ f[y_] ^:= f[a x + b y]
Protect[Times];
gives me
...
1
vote
0answers
42 views
Add operator symbols to matrices in Wolfram [closed]
I am working with the matrices of the form $u = \begin{pmatrix}Y &y\\0 & Y\end{pmatrix}$, and I have an operator $a$ such that $au=\begin{pmatrix}Y & ay\\0 & Y\end{pmatrix}$. Since y ...
5
votes
1answer
93 views
Indefinite order of differential operator
In the latest version of Mathematica, D can compute derivatives of symbolic order, that is, the $n^{\text{th}}$ (partial) derivative, returning an expression ...
2
votes
0answers
72 views
Wick's theorem for Gaussian stochastic variables
I wonder whether there exists a clever way to implement Wick's theorem for Gaussian stochastic variables $\eta_{j_{i}}$ (with $\langle \eta_{j_{i}}\rangle=0$ for $\forall i$) which in general states:
...
2
votes
1answer
70 views
Commutator of block matrices
How to implement a commutator of matrices composed of operators?
Background:
Let $\hat A_{ij}$, $\hat B_{kl}$ be some sets of some operators. $\hat I$ is the identity operator. Their commutators are ...
1
vote
0answers
31 views
Del as a Differential Operator: (Matrix times Del) cross vector [duplicate]
I tried to reply to this answer, but don't have enough reputation points yet. Basically the poster constructed Del (i.e. $\nabla = \left( \frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \...
0
votes
0answers
39 views
How do you treat gradient as a vector? [duplicate]
I need to express $\nabla = (\partial_x,\partial_y,\partial_z)$ as a vector, so that I can compute the differential operator given by $A\cdot\nabla$ (where here $A$ is a 3x3 matrix) using Mathematica. ...
0
votes
1answer
60 views
How can I define a derivation in Mathematica?
I would like to define a derivation in Mathematica. As an example something like this: for an operator O and operators $A,B$ in a two dimensional vector space with
$$
O \times A = a \\
O \times B = b \...
0
votes
1answer
56 views
How to program Mathematica to do the differential operator calculation
I want to create a surface Laplacian under the spheroidal coordinates,
Now, I already have the surface gradient defined, but I don't know how to find the Laplacian.
Since the surface gradient is too ...
4
votes
2answers
441 views
How to define a differential operator in Mathematica? [duplicate]
I want to define an operator $(\partial_{t}+1)^{2}=\partial_{t}\partial_{t}+2\partial_{t}+1$. Then, I want it to act on $t$. My code looks like this:
...
6
votes
1answer
153 views
Position-based Inline syntax for Curry
I would like to update an existing pseudo-curry function:
• /: h_[pre___, •, post___] :=
Function[expr, h[pre, expr, post]];
that I use inline like this - the ...
0
votes
0answers
33 views
Non-commutative multiplication sign and constant treatment
By default, non-commutative multiplication behaves as
(-W) ** (4 R) //FullForm
...
1
vote
1answer
47 views
Finding a pattern in sum of products of two or more variables with subscripts
I am trying (so far unsuccessfully) to isolate terms in an expression which are product of variables with a specific subscript pattern (the b_,_'s). I want only terms for which the first subscript ...
0
votes
0answers
47 views
How to use multiple placeholders to define a function that operates on special functions.
I am trying to understand if and how I can use multiple placeholders in order to define a function that will perform more than one operations on special functions; more accurately, sums, products, etc ...
2
votes
1answer
130 views
Linear operator algebra: How to distinguish scalars and operators?
In the book "A Physicist' s Guide to Mathematica" Patrick Tam introduces symbolic rules for an algebra of linear operators. Mathematically the rules are as follows, where upper (lower) case letters ...
0
votes
3answers
160 views
Calculating bracket operations [closed]
Is there a way to calculate commutation relations in Mathematica? For example, let's say I want to compute ; how can this be done?
0
votes
0answers
54 views
How to create operator variables and lists of operators?
I want to know if it is possible to create a variable that is an operator. (Please note I only started programming Mathematica today) For example, the partial operator $\partial_x$ i.e.
...
4
votes
1answer
69 views
1
vote
0answers
59 views
Superposition of the differential operators
My problem can be easily solved without Mathematica, however, I am curious how to do it in Mathematica. Moreover, I can be stuck with a similar, but more cumbersome problems in the future.
Following ...
1
vote
1answer
109 views
Raising, lowering and number operators for Dirac notation
Starting from this very interesting post Defining quantum-mechanical Bra and Ket operations, i would like to implement raising, lowering and number operators, taking into account that they might be ...
0
votes
0answers
61 views
How to define a product on formal power series (pseudo-differential operators)?
I am used to working with the set of (algebraic) pseudo-differential operators, which consists of formal power series in the symbol $D$ (differentiation operator) of the form
$$X = \sum_{j=-\infty}^n ...
5
votes
2answers
122 views
How to construct infix operator with usual behavior?
I am trying to define my own infix operator and having problems with strung-together evaluation. The code below is a simple example. What I would like is to have the operator treated associatively, ...
2
votes
1answer
258 views
What are current approaches for supporting Dirac notation for quantum mechanics?
I'd like to be able to use Mathematica to preform some basic quantum mechanics and quantum computation operations using Dirac's Bra-Ket notation.
I've seen several solutions to defining basic ...
3
votes
1answer
428 views
4
votes
2answers
289 views
Interchanging addition and multiplication
Suppose I have an expression that employs addition and multiplication, but no subtraction or division:
$$
2 a + 5 b x^3 + c \;.
$$
I would like to change this to
$$
(2 + a) (5 +b + x +x +x) c \;,
$$
...
1
vote
0answers
45 views
Operator on a multivariable function in a sum
I need to define an operator that does as follow for any function $h_m$.
$\qquad O[h_m](k,M,b,l_{max})=\sum_{l\neq (0,m)}^{l_{max}}il \left (h_l(k,M,b,l_{max}) b_{m-l}(k)- c_l\partial_k h_{m-l}(k,M,...
1
vote
2answers
94 views
Defining an operator: Partially evaluate a Pure Function
I would like to define an operator that takes some parameters as input and returns a function. Here is an example:
...
3
votes
2answers
815 views
Matrix differential operator
i'm new in MATHEMATICA. I want to create an operator $D^{(f)}=\partial_x+f'-\partial^2_x$ and $D^{(g)}=\partial_x+g'-\partial^2_x$ and put it into a matrix element, then multiplied by a vector whose ...
4
votes
2answers
101 views
Define an operator for FileNameJoin
When I join file names, it's inconvenient to use FileNameJoin. The workaround is to use <> instead, however <> is not exactly like FileNameJoin.
I tried to define an operator . It just doesn't ...
0
votes
1answer
101 views
How to efficiently exponentiate a differential operator with non-commuting terms, acting on an infinite series?
My question is related to
this one, but I am more explicit with the form of the operator in the exponential and the function $f$.
Let us have the expression:
$$ e^{\mathrm{i} \left( f(x)(\hat{q} \...
3
votes
1answer
96 views
Single argument operator form?
I've heard the explanation that functions like StringDrop[] are varargs and so that is why they do not have an operator form.
But when you are only using the ...
-1
votes
1answer
59 views
3
votes
2answers
152 views
A function which maps $(ax + by)(cx + dy) \mapsto (a \partial_x + b \partial_y) (c \partial_x + d \partial_y)$
I am new to Mathematica and, as the title says, looking for a way of mapping (for example) the polynomial $$(ax + by)(cx + dy) \mapsto \left(a \frac{\partial}{\partial x} + b \frac{\partial}{\partial ...
0
votes
1answer
48 views
Symbollic integration and differentiation of operated functions
This question is a continuation of this one.
I used the answer provided in the previous question to write this code
...
13
votes
2answers
427 views
How I can define this operator in Mathematica?
I want to define an operator $G$ such that
$$G(f):=\begin{cases}f(\{x\}),&\lfloor x\rfloor\text{ is even}\\\frac1{f(\{x\})},&\lfloor x\rfloor\text{ is odd}\end{cases}$$
for any function $f$, ...
2
votes
0answers
51 views
Defining the Distributive Depth of an Operator
I am working on defining the relations between Bras and Kets in Mathematica, and I am using the CircleDot operator to represent multiplication. I seem to have some trouble defining how operations on ...
11
votes
2answers
271 views
What is the best way to define Wirtinger derivatives
Wirtinger derivatives ( also called Cauchy operators) in complex analysis are widely used tools. They are defined in the case of one dimensional complex plane as follows
$$\frac{\partial}{\partial z}=...
0
votes
0answers
136 views
Defining a complex partial differential operator
I tried to define a partial differential operator using this code
...
5
votes
2answers
111 views
Custom opaque operator with custom axioms?
Is there any way to define a custom opaque operator/function in Mathematica that satisfies custom axioms, so that the Mathematica engine can perform simplifications using those axioms?
For example, ...
1
vote
0answers
68 views
How can I realize operator $\frac{D}{e^D-1}$ in Mathematica?
Especially if it is applied to an integral of a function.
So, I need for a given function f[t] the following:
$\frac{D}{e^D-1} \int_0^t f(t)dt |_{t=\omega}$
4
votes
1answer
585 views
Proof of the Dirac-$\gamma$ matrices identity
Given the matrices
$\gamma_{k}=\begin{bmatrix}
O & -i\sigma_{k}\\
+i\sigma_{k}& O
\end{bmatrix}$
where $\sigma_{k}$ is the $k^{th}$ Pauli matrix
$\gamma_{4}=\begin{bmatrix}
I^{2} &0 \...
8
votes
4answers
484 views
Change Operator Precedence of --> operator
I am trying to use --> operator with highest precedence
...
0
votes
0answers
161 views
Defining a del operator [duplicate]
I understand the Grad function is a mean to taking the gradient of an arbitrary function.
However, I'd like to define the Del ...
1
vote
2answers
116 views
Problem with Distribute and Composition
I'm having trouble with the following.
When I try to expand an expression like
Through[Distribute[g@*(f@*g + g@*f), Plus]@x]
I get what I would expect. That is,
...
